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

Google Deepmind 的 AI 自主解决了数十个开放数学问题，根据发表在 Science 上的一项新研究。AlphaProof Nexus 攻克了 353 个开放的 Erdős 问题中的 9 个，其中两个悬置 56 年。团队在论文发表前已将这些解法分享到网上。

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

这项研究发布之际，围绕 AI 数学的争论正愈演愈烈。OpenAI 最近将数百个 AI 证明放上了 GitHub，而不是提交给期刊。由 Terence Tao 领导的人类数学协会呼吁抵制。Deepmind 则让自己的工作接受了同行评审。

无炒作的 AI 新闻——由人工精选

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