DeepMind AlphaProof Nexus 攻克数十开放数学问题
先了解这件事
AI 综述
2026年10月12日，The Decoder 报道称 Google DeepMind 的 AlphaProof Nexus 研究发表于 Science。该系统独立解决了数十个开放数学问题：在 353 个开放 Erdős 问题中解出 9 个，其中 2 个悬置已达 56 年；证明了 OEIS 整数序列数据库中的 44 个猜想；解决了一个代数几何开放问题；并改进了 min-max 优化的一个已知界。
报道时间线
10月12日
- Google DeepMind AlphaProof Nexus 攻克数十个开放数学问题并发表于 Science
Google DeepMind 的 AlphaProof Nexus 在 Science 发表新研究，独立解决了数十个开放数学问题：在 353 个开放 Erdős 问题中解出 9 个（其中 2 个悬置 56 年），证明 OEIS 整数序列数据库中的 44 个猜想，解决一个代数几何开放问题，并改进了 min-max 优化的一个已知界。