Google DeepMind 的 AlphaProof Nexus 解出数十道开放数学难题，成果经同行评审发表于 Science
来源The Decoder查看原文
速览
- DeepMind 的 AlphaProof Nexus 解出数十道开放数学问题
- 其中九道为 Erdős 问题，两道悬置 56 年
- 成果发表于 Science，并经过同行评审
- OpenAI 因未经评审发布 AI 证明遭抵制
- 两起事件形成 AI 数学成果发布方式的对比
Google DeepMind 的 AlphaProof Nexus 解出了数十道此前未解决的开放数学问题，其中包括九道 Erdős 问题，其中两道已悬置 56 年。相关研究发表在 Science 上，且成果在发表前经过了同行评审。这一发布的时间点恰逢 OpenAI 因将 AI 生成的证明直接上传到 GitHub、未经同行评审而遭到抵制。
关键事实
- AlphaProof Nexus 解出数十道开放数学问题
- 其中包括九道 Erdős 问题
- 九道 Erdős 问题中有两道已 56 年未被解决
- 研究成果发表在 Science 期刊上
- DeepMind 的成果在发表前经过了同行评审
- OpenAI 因将 AI 证明上传 GitHub 且未经同行评审而面临抵制
本站视角
对做数学与形式化推理的研究者来说，这件事的关键不在于「AI 又解了几道题」，而在于成果通过了同行评审——这是 AI 数学成果第一次以可被学术界正式采信的方式落地，意味着 AI 生成的证明开始进入可引用的学术记录。对国内做数学推理、定理证明的团队而言，这抬高了发布门槛：只把证明丢到 GitHub 或 arXiv 已经不够，能否通过独立评审会成为区分「演示」和「成果」的分界线。我们的判断是，DeepMind 选择 Science 而非预印本，本身就是一次针对 OpenAI 发布方式的定位动作，把「是否经过评审」变成竞争维度。需要观察的是：原文只提到「数十道」和「九道 Erdős 问题」，没有给出具体题目清单、证明长度或评审周期，这些细节缺失使外界难以独立评估成果的实际分量；同时「OpenAI 遭抵制」这一说法在原文中同样没有给出抵制方与规模，读者应把它当作背景对照而非已核实的事实。
背景与影响
Erdős 问题是匈牙利数学家 Paul Erdős 提出或参与提出的一系列数学猜想与开放问题，长期被视为组合数学、数论等领域的难点。AI 系统能否真正解决这类开放问题，一直是衡量其数学推理能力的重要标尺。此次 AlphaProof Nexus 的成果以同行评审论文形式发表在 Science 上，意味着其结论经过了独立数学家的检验，这与直接把未经审核的证明文件丢到代码托管平台的做法形成明显区别。OpenAI 近期因后者遭到抵制，说明学术界对 AI 数学成果的可验证性与发布规范存在强烈诉求。这可能推动更多 AI 实验室在发布数学相关成果时走正式学术发表流程，而不是仅靠预印本或代码仓库。
本文由 AI 辅助整理自公开信源，事实部分以原文为准；「本站视角」一节为编辑部判断，欢迎指正。版权归原作者所有，如有异议请联系我们。