谷歌 DeepMind 的 AlphaProof Nexus 登上 Science，解出悬置 56 年的埃尔德什问题

谷歌 DeepMind 的 AlphaProof Nexus 在 Science 发表，为 9 项埃尔德什问题和 44 项 OEIS 整数序列猜想给出证明，其中埃尔德什问题库第 12 号中两道 1970 年提出、悬置 56 年的子问题得到解决，Science 同期评论题为「研究数学的AI已经到来」。系统由 Gemini 拆分目标、组织论证，调用 AlphaProof 与 Lean 完成子目标，并让多个证明 Agent 共享草稿、由评审 Agent 比较后决定优先推进哪条路线。对照测试中，团队去掉共享草稿的进化搜索并停用 AlphaProof，只保留 Gemini 3.1 Pro 与 Lean，多次独立尝试仍解出那 9 道埃尔德什问题，而单独运行 AlphaProof 一道未解。