OpenAI 与 Anthropic 前沿数学竞赛：Astra 领跑 24 小时被追平
新智元 · wechat · 2026-08-03
上周末，OpenAI 与 Anthropic 在前沿数学领域展开了一场激烈的 AI 竞赛。
事件脉络：
- OpenAI 发难：8 月 1 日，OpenAI 研究员宣布其未公开的下一代模型 Astra 成功证明了 10 项长期未解的前沿数学难题，并提供了 Lean 证书。据称，寻找这些解法的推理成本不到 2000 美元。
- Anthropic 追击：不到 24 小时，Anthropic 研究员回应称，使用公开模型 Fable 在无网络、防泄漏的条件下，成功复现了其中 5 项证明。
深层意义：
- 首发保鲜期缩短：过去数学优先权之争以年计，如今 AI 模型的首发优势仅能维持数小时。
- 从刷榜到互验：两个模型独立推导出同一结论，类似于同行评审，验证了 AI 证明的可靠性。
- 验证成为瓶颈：随着 AI 批量生成前沿证明的能力增强，人类专家的验证能力正成为制约这项技术发展的核心瓶颈。
所属事件:Anthropic 员工称用 Fable 24 小时复现半数 Astra 证明(4 条相关)→
「模型」频道最新
- Every 实测 Gemini 4 Carbon:编码更强但判断力不及 Fable 5.2 — every · 2026-11-14
- 网传 Gemini 4 Krypton 性能逼近 Opus 5.5，谷歌或有大动作 — feblet · 2026-11-14
- Nathan Lambert:黄仁勋辞职重创开源模型生态,资金支持恐枯竭 — natolambert · 2026-11-14
- 爆料称 Google krypton 模型下周发布，Fable 5.2 水平但更便宜 — imjustnewatai · 2026-11-14
- OpenAI 第二次解散机器人团队，研究员转岗其他团队 — The Decoder · 2026-11-14
- 用户抱怨 Sol 6.1 近期明显变笨，低级错误频出被迫换模型 — graham_dev · 2026-11-14