DeepMind AlphaProof Nexus 解出 9 道 Erdős 难题与 44 项猜想
kimmonismus · x · 2026-10-12
据 Daily Star 报道（未经官方论文证实），Google DeepMind 的 AlphaProof Nexus 在数学形式化证明上取得突破：
- 解出 353 个开放 Erdős 问题中的 9 个，其中两题悬置超过 50 年
- 证明 OEIS 数列库 492 个未解猜想中的 44 个
- 系统将 Gemini 模型与一个简化的 Gemini 循环结合，用 Lean 形式化证明助手验证每一步推理，复现了全部 9 个 Erdős 解答
- 研究者还报告了在代数几何、优化、图论、组合数学与量子光学上的应用
所属事件:DeepMind AlphaProof Nexus 攻克 9 个 Erdős 难题登 Science(7 条相关)→
「模型」频道最新
- 同一世界生成提示词:Gemini 4 Argon 明显胜过 3.8 Flash — testingcatalog · 2026-10-12
- Gemini 4 Argon 曝已在 Antigravity 灰度 A/B 测试 — testingcatalog · 2026-10-12
- iPhone上ChatGPT做图片对比时反复卡死闪退，用户求助 — adam0672 · 2026-10-12
- 爆料：Claude 新模型 2.5 小时自主策划并编码完成视频制作 — ZeroStateReflex · 2026-10-12
- KV Cache 深度图解：从省算力到 GQA/MLA 架构演进全解释 — blaizedsouza · 2026-10-12
- Claude Opus 5.5 对比 GPT-6.1 Sol 实测：这次我更看好 GPT — CodeByPoonam · 2026-10-12