哥德尔机
term_id: gödel_machine
Category: basic_concepts
Definition
哥德尔机是由于尔根·施密德胡伯提出的假设性通用问题求解器，基于形式逻辑和可计算性理论。它通过持续分析自身的源代码来寻找更高效的算法实现方式，并在证明新代码能带来更高效用时进行自我修改。
Summary
一种理论上的自我改进人工智能程序，能够在不改变目标的情况下重写自身源代码以提高效率。
Key Concepts
- 自我修改
- 效用函数
- 形式验证
- 计算效率
Use Cases
- 人工通用智能的理论研究
- 研究算法自我改进的极限
- 探索人工智能安全中的形式化方法