谷歌 DeepMind 与剑桥大学的新论文表明，AI 智能体可以自己发现新数学：为 11 台未解决的图灵机证明了精确规则。AI 正从……
谷歌 DeepMind 与剑桥大学的新论文展示了 AI 智能体自主发现新数学：一款基于 Gemini 的智能体为 11 台此前未解决的图灵机（此前无文献分析的 Busy Beaver 机器）找到了精确规则，并用 Lean 完成了验证。它在模拟器中测试边界情况，起草非形式化证明，再用 Lean 证明检查器完成证明。为什么重要：这标志着 AI 从「回答人类提出的数学问题」迈向「开放式发现」，且证明是机器可验证的——是 AI 驱动科学的一个真正里程碑。
报道来源
- Rohan Paul2026-10-22 11:34