Google DeepMind 与剑桥大学的新论文表明，AI 智能体能够自行发现新的数学，为 11 台未解决的图灵机证明了精确规则。

AI 可以从回答人类提出的数学问题，迈向开放式的发现——一个基于 Gemini 的智能体为 11 台此前没有任何已记录分析的 Busy Beaver 图灵机找到并在 Lean 中验证了新规则，证明了这一点。

它在模拟器中测试边界情况，起草非形式化证明，然后在 Lean 证明检查器中证明这些规则。