千枚 Fable agent 30 小时形式化费马大定理,Opus 5.5 仅完成 26%
burny_tech · x · 2026-11-10
Claude 官方账号展示:1000 个 Fable 5.2 agent 组成的团队在 30 小时内将费马大定理完整形式化——把证明逐步翻译成计算机可验证的语言。同样配置下,Opus 5.5 在 18 小时只完成 26%,且 30 小时后几乎没有更多进展。
原作者 mgostIH 调侃:你还没做完的费马大定理形式化 grant(截图显示 Kevin Buzzard 在帝国理工的五年期 93 万英镑项目),居然先成了 LLM 的 benchmark。
所属事件:Anthropic 千智能体 30 小时形式化费马大定理(22 条相关)→
「模型」频道最新
- 网传 Fable 5.2 编程测试得 49.1% 居首，成本约为 Opus 一半 — FinanceYF5 · 2026-11-10
- 网传 Claude 一段话生成完整语音助手，硬件真做出来了 — FinanceYF5 · 2026-11-10
- 网传 Claude 发布 Fable 5.2 与 Mythos 5.2，十大 Agent 案例曝光 — FinanceYF5 · 2026-11-10
- Claude 5.2 蛋白质结构域识别达 91.8%,远超前代与专用模型 — chaitjo · 2026-11-10
- NeurIPS 论文：LLM 技术报告悄然删除校准曲线，作者呼吁回归 — burny_tech · 2026-11-10
- 红队测试:Fable 5.2 将 15 个工作日生物任务压缩到 2 天 — peterwildeford · 2026-11-10