1000 个 Agent 30 小时形式化费马大定理,Opus 5.5 只完成 26%
FinanceYF5 · x · 2026-11-10
FinanceYF5 推文(附官方图表):1000 个 Fable 5.2 Agent 协作,用 30 小时完成费马大定理的完整形式化证明,可由计算机逐步检查。相同设置下 Opus 5.5 运行 18 小时仅完成 26%,30 小时后进度也几乎没有增加(0.27)。图表显示 Fable 5.2 在约 18 小时达 86%,中断后追加 12 小时冲到 100%。此为该系列推文第 6 条,与 Anthropic 发布公告同一事件。
所属事件:千个 Fable 5.2 智能体 30 小时形式化费马大定理(20 条相关)→
「模型」频道最新
- repligate:LLM 能力趋势争论是伪精确，评测误差比趋势本身还大 — repligate · 2026-11-10
- 一条 prompt 生成整套 Blender 房间动画,Fable 5.2 单次成本仅 5.75 美元 — iamfakhrealam · 2026-11-10
- Anthropic Fable 5.2 上线 Cola,定价 6x 定位最艰难任务 — oran_ge · 2026-11-10
- 新版 ChatGPT/Codex 桌面端发送按钮损坏，用户从年度最爱转为弃用 — rudrank · 2026-11-10
- Claude Fable 5.2 三项未饱和基准全面超出趋势线 — emollick · 2026-11-10
- Meta 隐身模型揭秘:Crouton Alpha 就是 Muse Ember 早期版 — alexandr_wang · 2026-11-10