Definition
ゲーデルマシンはユルゲン・シュミドフーバーによって提案された、形式論理と計算可能性理論に基づいた仮説上の万能問題解決器です。これは自身のソースコードを継続的に分析し、
Summary
自身のソースコードを書き換えて効率化を図るが、目的は変えない、理論的な自己改善型AIプログラム。
Key Concepts
- 自己修正
- ユーティリティ関数
- 形式検証
- 計算効率
Use Cases
- 人工一般知能（AGI）に関する理論的研究
- アルゴリズム的自己改善の限界の調査
- AI安全性における形式手法の探求