Rohan Paul (@rohanpaul_ai) · 2026/10/22 19:34:15
DeepMind 论文：AI 智能体自主发现新数学定理
出处作者 / 发布主体：Rohan Paul (@rohanpaul_ai)原标题：New Google DeepMind and Cambridge paper shows that an AI agent can discover new math itself, proving...
88AI 研判分
核心综述
Google DeepMind 与剑桥大学联合发表研究，展示基于 Gemini 的 AI 智能体能自主发现新数学规则。该智能体成功证明并验证了 11 个此前未解的图灵机（Busy Beaver）的确切规则，标志着 AI 从解答人类提问向开放式自主科学发现的重大跨越。
报道全文原始报道全文
Rohan Paul (@rohanpaul_ai) · 2026-10-22 11
谷歌 DeepMind 与剑桥大学的新论文表明，AI Agent 能够自主发现新的数学知识，并证明了 11 台未解决的图灵机的精确规则。
AI 正从回答人类提出的数学问题迈向开放式探索，这一转变由一个基于 Gemini 的 Agent 所证实：它发现了 11 台 Busy Beaver（忙碌海狸）机器的新规则，并通过 Lean 进行了验证，而此前这些机器并无任何已记录的深入分析。
该 Agent 在模拟器中测试边界情况，起草非正式证明，随后在 Lean 证明检查器中完成规则的严格证明。
