Google DeepMind 的 AlphaProof Nexus 解决数十个开放数学问题并通过同行评审
Google DeepMind 的新研究显示,AlphaProof Nexus 自主解决了 353 个 Erdős 开放问题中的 9 个,其中两个已悬置 56 年,相关解法在论文发表前已公开。该系统还证明了 OEIS 整数序列数据库中的 44 个猜想,解决了代数几何中的一个开放问题,并改进了 min-max 优化中的一个已知界。它基于 Gemini 3.1 Pro,用形式化语言 Lean 起草和修订证明,Lean 在每次修改后检查草稿,错误信息引导下一次尝试;遇到更难的子问题时还可调用专用证明工具 AlphaProof,但即使不调用 AlphaProof 也能解决那 9 个 Erdős 问题。该研究发表在 Science 上,并经过了同行评审,而 OpenAI 近期将数百个 AI 证明直接发布到 GitHub 而非提交期刊,由 Terence Tao 领导的 Association for Human Mathematics 呼吁抵制。
匹配字段标题、摘要、正文
