概念Gödel Machine
哥德尔机
由Jürgen Schmidhuber于2003年提出的完全自指通用问题求解器理论框架，系统将自身代码视为可修改对象，只要能形式化证明某项自我修改会提升未来预期效用，便可执行包括改进推理机制本身在内的任意自我修改。
时间轴 (近 90 天)
10月8日
哥德尔机由Jürgen Schmidhuber于2003年提出，是允许智能体在有形式化证明更优前提下重写自身代码的自修改程序理论框架
待验证50%
9月24日
哥德尔机（Gödel Machine）由Jürgen Schmidhuber于2003年提出，是一种完全自指的通用问题求解器理论框架
待验证50%
9月24日
哥德尔机只要能通过形式化证明确认某项自我修改会提升未来预期效用，便可执行该修改，包括修改用于证明改进的机制本身
待验证50%
9月24日
顾教授团队在哥德尔机基础上有ICLR工作，把Coding Agent整个脚手架作为可进化程序，通过评估修改节点的长期潜力来设计进化策略
待验证50%