Google DeepMind 的 AlphaProof Nexus 解决数十个开放数学问题并通过同行评审

Google Deepmind's AI solved dozens of open math problems on its own, per a new study in Science. AlphaProof Nexus cracked nine of 353 open Erdős problems, two unsolved for 56 years. The team shared those solutions online ahead of the paper.

除此之外，AlphaProof Nexus 还证明了 OEIS 整数序列数据库中的 44 个猜想，解决了一个代数几何中的开放问题，并改进了 min-max 优化中的一个已知边界，该技术用于训练某些 AI 模型。它基于 Gemini 3.1 Pro 构建，后者用形式化语言 Lean 起草并修订证明。Lean 在每次编辑后检查每一份草稿，错误信息则指导下一次尝试。对于更难的子问题，它可以调用 AlphaProof，一个专门的证明工具。Google Deepmind 报告称，即使没有 AlphaProof，它也解决了那 9 个 Erdős 问题。

这项研究发布之际，正值关于 AI 数学的激烈争论。OpenAI 最近将数百个 AI 证明丢到 GitHub 上，而不是提交给期刊。由 Terence Tao 领导的 Association for Human Mathematics 呼吁抵制。Deepmind 则将其工作送交了同行评审。

没有炒作的 AI 新闻——由人类精选

订阅 THE DECODER，享受无广告阅读、每周 AI 新闻通讯、每年六次我们独家的“AI Radar”前沿报告、完整档案访问权限，以及评论区访问权限。