DeepMind AlphaProof Nexus 自主解决 9 个 Erdős 难题，含 56 年未解之谜
Dr_Singularity · x · 2026-10-10
Google DeepMind 的 AlphaProof Nexus 系统在数学研究上取得重大突破：
- 自主解决了 353 个开放 Erdős 问题中的 9 个，其中 2 个已悬置 56 年
- 从在线整数数列百科（OEIS）的 492 个开放猜想中证明了 44 个
- 还解决了代数几何中的一个开放问题，并改进了 min-max 优化的已知界
技术核心：将 LLM 生成证明的能力与 Lean 形式化验证配对——AI 提出证明，检查器逐步验证逻辑，失败的尝试会产生反馈供再次尝试，只有通过检查器的证明才被接受。团队还对比了更简单的基线方法：用 LLM 反复生成候选证明再在 Lean 中检查。
所属事件:DeepMind AlphaProof Nexus 登 Science，自主解决 9 个 Erdős 难题(7 条相关)→
「研究」频道最新
- PopVax 计算设计 mRNA 疫苗进 I 期人体试验,年产百万剂 — SeyoneC · 2026-10-11
- 斯坦福论文用生成式 agent 模拟评测生态:私有 holdout 多数能拉近评测与用户满意度 — sanmikoyejo · 2026-10-11
- COLM 2026 首届 AI 测量科学研讨会 10 月 9 日旧金山举办 — sanmikoyejo · 2026-10-11
- Nat Lambert 出任 Mercor 顾问:RL 数据质量太低,评测科学是前沿 — natolambert · 2026-10-11
- 开源 LLM 仿真器:可分离结构效应与模型怪癖的假设生成器 — sanmikoyejo · 2026-10-11
- 同一仿真平台还能验证:评估者独立性与强制披露如何改写行业 — sanmikoyejo · 2026-10-11