DeepMind AlphaProof Nexus 登Science：解9项埃尔德什问题与44项序列猜想
新智元 · wechat · 2026-10-17
DeepMind 的「AI 数学家」AlphaProof Nexus 登上 Science，证明 9 项埃尔德什问题和 44 项 OEIS 整数序列猜想，其中两道子问题悬置 56 年。
关键成果
- 第 12 号埃尔德什问题两问一正一反全部解决：构造出无限多避开整除关系的整数集合（用中国剩余定理分组处理），并用反例推翻「数量上限指数小于 1」的原猜想。陶哲轩随后指出 AI 证明中的限制可删除，构造得以简化。
- 系统架构：多个证明 Agent 共享草稿、评审 Agent 择优，Gemini 负责拆解目标并按需调用 AlphaProof，已证子目标缓存复用。
- 消融实验：仅用 Gemini 3.1 Pro + Lean 多次尝试也能解出全部 9 题，而单独运行 AlphaProof 一题未解。
- 还为 AnchoredGDA 优化算法找到新参数设置并证明 O(1/t) 收敛保证。
Science 同期评论称「研究数学的 AI 已经到来」——数学家提出猜想，AI 找思路写证明，人类开始与 AI 共同创造新知识。
「研究」频道最新
- Periodic 创始人 CoLM 演讲：自训模型终将跨越前沿模型拐点 — heghbalz · 2026-10-18
- PNAS 论文:生物突触可自组装出逼近梯度下降的学习规则 — xuanalogue · 2026-10-18
- SGPnP 论文获 IEEE 接收：扩散模型直插 PnP 重建框架 — prof_kamilov · 2026-10-18
- Stanford 教授 Surya Ganguli 长讲：从统计物理溯源 Scaling Laws — burny_tech · 2026-10-18
- Domingos：叠加是特性而非缺陷，不损可解释性反增记忆容量 — pmddomingos · 2026-10-18
- 旋转棱镜模拟微眼跳，事件相机首次获稳定纹理感知 — RexDouglass · 2026-10-18