DeepMind 的 AlphaProof Nexus 登 Science：解出 9 道开放 Erdős 问题、44 条 OEIS 猜想
论文摘要给出的成绩是逐项可数的：353 道开放 Erdős 问题里解出 9 道，492 条 OEIS 数列猜想里证明 44 条，另有代数几何的一个开放问题与极小极大优化里一个已知界的改进，并已在组合数学、优化、图论、代数几何与量子光学的研究中使用。系统叫 AlphaProof Nexus，思路是让模型在 Lean 里反复起草与修改证明，由 Lean 逐步检查、把报错信息回灌给下一步，遇到更难的子问题再调用专门的证明工具 AlphaProof；报道称它围绕 Gemini 3.1 Pro 搭建。
这条的分量不在数字，在发表路径。同一时期 OpenAI 把数百份数学手稿直接堆到 GitHub 上，数学界组织 AHM 因此呼吁停止合作、Erdős 问题站点一度冻结 AI 证明的提交；而这套结果走了同行评议，2026 年 10 月 8 日刊于 Science（第 394 卷 6820 期 234–239 页）。它把一个此前只有演示与博客的争议，落成了一份可被审稿人逐条检查的公开记录，也给「AI 的数学成果该按什么标准发布」提供了一个可对照的样本。
摘要特别写明：即便只用最基础的「生成—Lean 验证」交替循环的智能体，也能复现那 9 道 Erdős 问题的成绩——即成绩主要来自形式化验证这道闸门，而不是某个单点技巧。边界同样要写在前面：系统的成果本身 2026 年 5 月已在网上公布（作者把解答先放了出来），本条记录的是同行评议发表这件事；本机未能直读 science.org 正文（返回 403），摘要与书目信息取自 Science 的官方书目记录与 PubMed。已发表的是一套智能体与它的验证方法，不是新权重或新基座。
核验记录
日期与书目双证：Crossref（DOI 10.1126/science.aej2213）的 published-print 与 PubMed（PMID 42848891，pubdate 2026 Oct 8）均为 2026-10-08，science.org 正文页本机直读 403 未读全文，摘要逐字取自 Crossref 记录。「系统名 AlphaProof Nexus / 围绕 Gemini 3.1 Pro / 困难子问题调用 AlphaProof」这三条取自 the-decoder 2026-10-12 报道（该文文末指向上述 DOI）。结果本体 2026 年 5 月已在网上公布（HN 5-23、the-decoder 5-29 两条旧闻可查），本条记录的是同行评议发表这一事件，不是系统首发日。配图取自报道稿正文图（裸请求与带站内 Referer 双 200，PNG 1376×768），非论文插图。
← 上一篇Mistral 把流式语音带进阿拉伯语：480 毫秒延迟下平均 CER 8.82%，与摩洛哥政府共建下一篇 →FINAL-Bench 发 Darwin-27B-ZTC：零 token 判定模型，一次前向给出校准过的选项概率