Google DeepMind 的 AlphaProof Nexus 解决多个开放数学难题并通过同行评审
Google DeepMind 的 AlphaProof Nexus 解决了 353 个 Erdős 开放问题中的 9 个，其中两个已悬而未决 56 年。该研究发表在 Science 上，并经过同行评审。此外，它还证明了 OEIS 整数序列数据库中的 44 个猜想，解决了一个代数几何中的开放问题，并改进了 min-max 优化中的一个已知边界。系统基于 Gemini 3.1 Pro，用 Lean 形式语言起草和修订证明，Lean 在每次编辑后检查草稿，错误信息指导下一次尝试。对于更难的子问题，它可以调用专门的证明工…
推荐理由AI 首次在开放数学问题上取得经同行评审的成果，9/353 的解决率和 56 年难题被攻克是具体指标。