Google DeepMind 的 AlphaProof Nexus 解出数十个开放数学问题，并真正通过同行评审

Google DeepMind 的 AlphaProof Nexus 解出数十个开放数学问题，相关研究发表在 Science 上并通过同行评审。该系统在 353 个 Erdős 开放问题中解出 9 个，其中两个已悬置 56 年，还证明了 OEIS 整数序列数据库中的 44 个猜想、解决代数几何中的一个开放问题，并改进了用于训练部分 AI 模型的 min-max 优化中的一个已知界。它基于 Gemini 3.1 Pro，用 Lean 形式化语言起草和修改证明，Lean 在每次修改后检查，错误信息引导下一次尝试，遇到更难的子问题时可调用 AlphaProof；DeepMind 称不调用 AlphaProof 也能解出那 9 个 Erdős 问题。