Google DeepMind实现AI自主发现并证明新数学定理，成果登Nature封面

从猜想验证到定理发现

2026年6月15日，国际顶级学术期刊Nature将Google DeepMind团队的论文《自主数学定理发现的形式化AI系统》推为封面文章。该论文报告了一个名为'AlphaProof'的AI系统，首次在没有人类数学家提供猜想或引导的前提下，自主发现并严格证明了两条新的数学定理：一条揭示了代数拓扑中两个经典不变量间此前未知的深层联系，另一条在组合数学中提出了一个关于超图染色数的新下界。

https://images.unsplash.com/photo-1635070041078-e363dbe005cb?w=800&q=80'/>

AlphaProof的技术架构

AlphaProof是DeepMind在AlphaZero和AlphaTensor基础上的第三代科学发现系统。其核心创新在于将'创造性假设生成'与'形式化证明验证'耦合为一个闭环：一个基于大语言模型的生成器负责在数学知识空间中搜索并生成候选猜想，然后由形式化证明器在Lean定理证明环境中验证。两个子系统通过强化学习不断互评优化。DeepMind首席科学家透露，AlphaProof在运行过程中生成了超过2.3亿个候选猜想，最终仅有2个通过完整证明。

科学界反响：工具还是主体？

该成果在数学界引发激烈讨论。四位独立审稿人均确认两条新定理的正确性，其中一位菲尔兹奖得主评论称'这标志着AI从数学辅助工具迈向数学研究主体'。但也有数学家指出，AlphaProof发现的定理虽正确但'目前看不出重要的应用前景'。DeepMind已宣布将AlphaProof代码以非商业许可开源，供全球数学家使用。