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

Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed

AI 导读

Google DeepMind 的 AlphaProof Nexus 自主解出多个开放数学问题，相关研究发表在 Science 上。

摘要与补充说明

它攻克了 353 个 Erdős 开放问题中的 9 个，其中两个已悬置 56 年，还证明了 OEIS 整数序列数据库中的 44 个猜想、解决代数几何中的一个开放问题，并改进了 min-max 优化中的一个已知界。

AlphaProof Nexus 用 Lean 校验证明并走完同行评审，可与 OpenAI 直接公开证明的做法对照阅读。

正文· AI 翻译

译文尚不完整，完整内容请切换到原文。

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，它也解决了那九个 Erdős 问题。

这项研究出炉之际，正值围绕 AI 数学的激烈争论。OpenAI 最近将数百个 AI 证明丢到 GitHub 上，而非提交给期刊。由 Terence Tao 领导的 Association for Human Mathematics 呼吁抵制。Deepmind 则让其工作经过了同行评审。

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

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