Claude.dev 开发者博客· Barry Zhang, Tianyi Peng, Elle Najt, Keller Scholl, and Lance Martin·2026-11-09 20:00· 2 天前精选AI 评分66

Anthropic 用 1000 个 Claude Fable 5.2 Agent 在 28.7 小时内完成费马大定理形式化证明

Safely scaling multi-agent teams with Claude Fable 5.2

AI 导读

Anthropic 公布一项玩具实验：1000 个运行早期版 Claude Fable 5.2 的 Agent 在无网络沙箱中，仅靠 Git 和共享 Postgres 数据库自行分工，用 28.7 小时完成费马大定理的形式化证明，输出 token 仅为 9 月那次的三分之一，证明长度为其七分之一。

选题角度

原文完整记录了1000个Agent在无网络沙箱里用Git和SQL自行分工、28.7小时完成费马大定理形式化证明的过程，适合梳理其协作机制与安全边界。