《自然》期刊2025年11月12日发表了一项重要成果：DeepMind正式推出其开发的“AI数学做题家”AlphaProof，其成功证明了复杂的数学定理，并在2024年国际数学奥林匹克竞赛（IMO）中取得了相当于银牌选手的优异成绩。这项研究展示了AI在高难度数学推理领域的显著进步。

AlphaProof是专为数学命题证明而构建的系统。研究团队首先对约8000万个数学命题进行了自动形式化处理，随后利用强化学习，使AlphaProof能够自主探索有效的证明路径。实验结果显示，该系统不仅在历史IMO试题上的表现超越了此前最先进的AI模型，还在2024年竞赛中与专攻几何的AI系统AlphaGeometry协同作战，共同解决了6道题中的4道，达到银牌选手水平。

尽管AlphaProof在竞赛级数学任务中表现卓越，但研究团队也指出其目前仍存在一定局限，例如在面对某些非标准化或高度抽象的数学问题时，系统的推理能力尚显不足。DeepMind未来计划进一步提升模型的通用性与适应性。若能突破当前瓶颈，AlphaProof有望发展成为数学家探索未知数学领域、攻克复杂猜想的有效协作工具，推动形式化证明与AI走向更深层次的融合。

信息来源：

https://www.nature.com/articles/d41586-025-03585-5

https://finance.people.com.cn/n1/2025/1113/c1004-40602864.html