ゲーデルマシン

Definition

ゲーデルマシンはユルゲン・シュミドフーバーによって提案された、形式論理と計算可能性理論に基づいた仮説上の万能問題解決器です。これは自身のソースコードを継続的に分析し、

Summary

自身のソースコードを書き換えて効率化を図るが、目的は変えない、理論的な自己改善型AIプログラム。

Key Concepts

• 自己修正
• ユーティリティ関数
• 形式検証
• 計算効率

Use Cases

• 人工一般知能（AGI）に関する理論的研究
• アルゴリズム的自己改善の限界の調査
• AI安全性における形式手法の探求

Related Terms

• AGI (人工一般知能)
• Recursive Self-Improvement (再帰的自己改善)
• Algorithmic Information Theory (アルゴリズム情報理論)
• Schmidhuber (ユルゲン・シュミドフーバー: AI研究者)