1000 个 Fable 5.2 agent 30 小时完成费马大定理 Lean 形式化
minchoi · x · 2026-11-10
约 1000 个 Fable 5.2 agent 在 30 小时内将费马大定理的证明完整形式化为可计算机验证的版本(Lean 语言),完成度 100%;同样设置下 Opus 5.5 仅完成约 27%。图中显示 Fable 5.2 在 18 小时时已达 86%,随后恢复运行并补完剩余部分。
所属事件: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