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

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