1000 个 Fable 5.2 agent 30 小时完全形式化费马大定理，Opus 5.5 仅 26%
likeastar20 · reddit · 2026-11-10
Claude 官方账号宣布：由 1000 个 Fable 5.2 agent 组成的团队在 30 小时内将费马大定理的证明完全形式化，翻译成计算机可逐步验证的语言。
对比数据（同一设置）：
- Fable 5.2：18 小时达到 86%，30 小时达到 100%（最后借助额外 12 小时收尾）；
- Opus 5.5：18 小时仅完成 26%，30 小时后几乎不再有进展（最终 27%）。
这是大规模 agent 协作在形式化数学上的标志性成果，也直观展示了 Fable 5.2 与前代 Opus 之间的能力差距。
所属事件:Anthropic 千个 Fable 5.2 智能体 30 小时完整形式化费马大定理(12 条相关)→
「模型」频道最新
- Fable 5.2 每任务 token 消耗大,降价 20% 实际成本几乎没降 — addyosmani · 2026-11-10
- 用 Opus 把 CPython 形式化成 61.3 万行 Lean,顺手揪出 Python 真实 bug — pbaylies · 2026-11-10
- CursorBench 实测：Fable 5.2 High 档 56.9% 得分、单任务 $9.70 最均衡 — SEO · 2026-11-10
- Opus 5.5 还是 Fable 5.2？开发者经验：明确任务用前者 — EricBuess · 2026-11-10
- Claude Fable 5.2 以 69.9% 登顶 FrontierSWE，超 GPT-6 Astra — aryaman2020 · 2026-11-10
- Fable 5.2 单任务成本 2.6 倍于 Opus 5.5，Anthropic 却让多数人先用 Opus — demian_ai · 2026-11-10