曝 Anthropic Fable 5.2 千级 agent 协作，30 小时形式化费马大定理
Dr_Singularity · x · 2026-11-10
据推文(未经验证)，Anthropic 的 Fable 5.2 模型协调约 1000 个 AI agent，在仅 30 小时内、极少人工干预下，将一个已有数学证明形式化为 Lean 代码。
- 此前系统完成可比任务需 11 天
- action token 用量减少约 3 倍
- 产出的形式化证明比原来短 7 倍
- AI 自行发展出了 agent 协调方法
该消息来自第三方账号，官方尚未证实。
所属事件:千个 Fable 5.2 智能体30小时形式化费马大定理(17 条相关)→
「模型」频道最新
- 网友发现「责任洗白」绕过 Claude 拒答：让另一模型替它干脏活 — corbtt · 2026-11-10
- 8小时花费550美元,一次性提示词让 Claude Fable 5.2 做出完整游戏 — felixrieseberg · 2026-11-10
- Claude 网页版隐藏 reasoning_effort 标签曝光,还能藏秘密信息骗过模型 — josh_bickett · 2026-11-10
- 实测称 Opus 持续搞砸幽默改写任务,连原梗笑点都保不住 — ivan_bezdomny · 2026-11-10
- Claude Fable 5.2 改笑话屡屡翻车:保不住原梗还改崩原文 — ivan_bezdomny · 2026-11-10
- 开发者盛赞 Fable 5.2：直呼「这就是 AGI」，称竞品很难追上 — daniel_mac8 · 2026-11-10