AlphaProof Nexus 攻克 9 个未解 Erdős 问题并经同行评审

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

AI 导读

Science 新研究显示，Google DeepMind 的 AlphaProof Nexus 独立解决了 353 个开放 Erdős 问题中的 9 个，其中 2 个悬置 56 年。

推荐理由

这条报道把系统架构和同行评审安排都讲清了，读者可以据此理解形式化证明工作流的可行性与验证方式。

正文 · 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”前沿报告、完整档案访问权限以及评论区访问权限。