1000 个 Fable 5.2 agent 30 小时完成费马大定理形式化,Opus 5.5 仅 26%
claudeai · x · 2026-11-10
Anthropic 展示 AI4Science 案例:1000 个 Fable 5.2 组成的 agent 团队在 30 小时内将费马大定理证明完整形式化,逐步翻译成计算机可验证的语言。
同设置下,Opus 5.5 在 18 小时仅完成 26%,30 小时后几乎没有更多进展。配图进度曲线显示 Fable 5.2 在约 16 小时达 86%,恢复运行后最终到 100%。
所属事件:Anthropic 千个 Fable 5.2 智能体 30 小时完成费马大定理形式化(6 条相关)→
「模型」频道最新
- Meta 编码模型 Muse Ember 上线 OpenRouter，可搭配前沿模型分工 — alexandr_wang · 2026-11-10
- Meta Muse Ember 同步进驻 OpenCode 编码工具 — alexandr_wang · 2026-11-10
- 斯坦福晒 Grok 人脸识别翻车：认错自家教授 Hashimoto — stanfordnlp · 2026-11-10
- Claude Fable 5.2 自主循环优化 Quantum Espresso，DFT 计算提速 36 倍 — simonbatzner · 2026-11-10
- Anthropic 放出 Fable 5.2 测试早期检查点，暗示更强新模型在途 — legit_api · 2026-11-10
- Anthropic 因用量被推爆而空降额度重置,网友调侃像加密圈空投 — 0xAllen_ · 2026-11-10