Google Deepmind 的 AI 独自解决了数十个开放数学问题，根据一项发表于Science的新研究。AlphaProof Nexus破解了 353 个开放 Erdős 问题中的 9 个，其中两个已悬而未决 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 则将其工作送交了同行评审。