Google DeepMind 的 AlphaProof Nexus 解决多个未决数学问题并通过同行评审

Google DeepMind 的人工智能独立解决了数十个悬而未决的数学问题，这一成果来自 Science 上的一项新研究。AlphaProof Nexus 攻克了 353 个未解决的 Erdős 问题中的 9 个，其中两个已悬置 56 年。该团队在论文发表前已将这些解答在线分享。

除此之外，AlphaProof Nexus 还证明了 OEIS 整数序列数据库中的 44 个猜想，解决了代数几何中的一个悬而未决的问题，并改进了极小极大优化（一种用于训练某些 AI 模型的技术）中的一个已知界。它以 Gemini 3.1 Pro 为核心构建，在形式化语言 Lean 中起草和修改证明。每次编辑后 Lean 都会检查草稿，错误信息会引导下一次尝试。对于较难的子问题，它可以调用 AlphaProof，一个专门的证明工具。Google DeepMind 报告称，即使没有 AlphaProof，它也解决了那 9 个 Erdős 问题，Google DeepMind 报告。

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

没有炒作的 AI 新闻 – 由人工精心筛选

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