DeepMind 的 AlphaProof Nexus 登上 Science，解出 9 项埃尔德什问题

DeepMind 的 AlphaProof Nexus 登上 Science，解决了 9 项埃尔德什问题、44 项 OEIS 整数序列猜想，并为优化算法找到新参数设置且证明其有效性。9 项埃尔德什问题中有 2 道已悬而未决 56 年。该系统依托 Gemini 与证明工具的多轮配合架构完成研究级证明，产出的证明可作为数学家后续研究的起点。