DeepMind 证明智能体 AlphaProof Nexus 登 Science,已助数学家出研究成果
pushmeet · x · 2026-10-09
Google DeepMind 负责人 Pushmeet Kohli 宣布，AlphaProof Nexus 技术论文正式发表于《Science》。该系统是 DeepMind 证明智能体（proof agents）路线的核心成果之一：
- 前作 AlphaProof 曾在 2024 年国际数学奥林匹克（IMO）中获得银牌级别表现。
- AlphaProof Nexus 是 LLM 驱动的证明智能体，Aarhus 大学的 Gergely Bérczi 已用它证明了研究级别的数学结果。
- 论文由 Swarat Chaudhuri 等多位研究者共同完成。
- DeepMind 还强调形式化数学社区（如 Imperial College 的 Kevin Buzzard、Lean 的 Mathlib）的贡献：Lean 等形式系统让 AI 证明可信可查，并推出 Formal Conjectures 项目反哺社区。
所属事件:DeepMind 证明智能体 AlphaProof Nexus 登上 Science(4 条相关)→
「研究」频道最新
- aimotive 自动驾驶数据集训练标签靠「事后诸葛」追踪器生成 — RexDouglass · 2026-10-09
- Yale 研究发现 LLM 内部表征存在符号结构 — tallinzen · 2026-10-09
- COLM 2026 离散扩散 meetup:10 月 8 日 4-5 点 Grand Ballroom — yuntiandeng · 2026-10-09
- Astra 机器人控制实测:Johns Hopkins 深度评测其运动与控制理解 — jmin__cho · 2026-10-09
- Tavily 智能体可见性报告遭质疑：提问带域名才 93% 实时检索 — edwin · 2026-10-09
- 独立研究者发布 AI 加速相变模型，6 个预注册预测窗口全部命中 — sadeyeprophet · 2026-10-09