DeepMind与剑桥：Gemini智能体自主证明11台图灵机规则

Google DeepMind 与剑桥大学的论文称，一个基于 Gemini 的智能体能够自主发现新数学：它为 11 台此前没有任何公开分析的 Busy Beaver 图灵机找到了精确规则，并用 Lean 证明检查器完成了形式化验证。 据该论文介绍，智能体先在模拟器中测试边界情况，再起草非形式化证明，最后交由 Lean 完成形式化证明。上述“自主发现新数学”和规则精确性均为论文作者的说法。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。