Google DeepMind 的 AlphaProof Nexus 解出数十道开放数学难题，并经过同行评审

核心事实

据 the-decoder 报道，Google DeepMind 的 AI 系统 AlphaProof Nexus 在一项发表于《Science》的研究中，自行解出了数十道此前未解决的数学问题。报道称，该系统攻克了 353 道开放 Erdős 问题中的 9 道，其中两道已悬置 56 年；研究团队在论文发表前已将这些解答公开。此外，AlphaProof Nexus 还证明了 OEIS 整数序列数据库中的 44 条猜想，解决了一个代数几何中的开放问题，并改进了 min-max 优化中的一个已知上界。

背景与影响

报道指出，该系统以 Gemini 3.1 Pro 为核心，用形式化语言 Lean 起草并修订证明：每次修改后由 Lean 检查，错误信息用于指导下一次尝试；面对更难的子问题，它可以调用专门的证明工具 AlphaProof。Google DeepMind 表示，即便不借助 AlphaProof，系统也能解出那 9 道 Erdős 问题。这一成果出现在 AI 数学争议升温之际：报道称 OpenAI 近期将大量 AI 生成的证明发布到 GitHub，而非提交期刊，由 Terence Tao 领导的 Association for Human Mathematics 呼吁抵制；相比之下，DeepMind 将这项工作送交了同行评审。

限制与来源

上述内容来自 the-decoder 的报道，原始研究发表于《Science》。报道未披露该系统的运行成本、可用范围或发布时间等细节，相关功能与获取方式请以官方当前信息为准。本文仅作信息转述，不构成任何投资或专业建议。