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

Google Deepmind 的 AI 自行解决了数十个未解数学问题，据发表于 Science 的一项新研究。AlphaProof Nexus 破解了 353 个未解 Erdős 问题中的九个，其中两个已悬而未决 56 年。团队在论文发表前将这些解答分享到了网上。

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

这项研究正值围绕 AI 数学的激烈争论之际。OpenAI 最近把数百份 AI 证明倾倒到 GitHub 上，而不是提交给期刊。由 Terence Tao 领导的 Association for Human Mathematics 呼吁抵制。Deepmind 使其工作接受了同行评审。

无炒作的 AI 新闻 – 由人工策展

订阅 THE DECODER，即可获得无广告阅读、每周 AI 通讯、每年六次的独家 "AI Radar" 前沿报告、完整存档访问权限，以及评论区访问权限。