传 DeepMind AlphaProof Nexus 解决 9 个 Erdős 问题与 44 项猜想
kimmonismus · x · 2026-10-12
据 The Daily Star 报道（转引 kimmonismus），Google DeepMind 的 AlphaProof Nexus 据称解决了 9 个公开的 Erdős 问题以及 44 个数列猜想，其中包括两个悬置超过 50 年的未解问题。
报道称该系统将现有 Gemini 模型与一个更简单的 Gemini 循环相结合，并用 Lean 形式化验证复现了全部 9 个 Erdős 问题的求解过程。
注意：此消息源自小报报道且标注 reportedly，DeepMind 官方尚未确认，可信度存疑，建议等待官方论文或声明。
所属事件:DeepMind AlphaProof Nexus 攻克 9 个 Erdős 难题登 Science(7 条相关)→
「模型」频道最新
- Meta 内部员工暗示新模型将至,爆料称本周或有重大发布 — kimmonismus · 2026-10-12
- LEAN 证明翻车另外两种方式：正确但无法解读，或利用 kernel bug 实为错误 — gklambauer · 2026-10-12
- 研究者列 AI 生成 LEAN 证明四种翻车方式，点名 OpenAI 未核查形式化偏差 — gklambauer · 2026-10-12
- Opus 5.5 路由生成的 3D 汽车模型惊人，还能拆分成部件 — iamfakhrealam · 2026-10-12
- 同一世界生成提示词:Gemini 4 Argon 明显胜过 3.8 Flash — testingcatalog · 2026-10-12
- Gemini 4 Argon 曝已在 Antigravity 灰度 A/B 测试 — testingcatalog · 2026-10-12