# 多智能体协作

Anthropic 让 1000 个运行 Claude Fable 5.2 早期版本的智能体，在没有 Prove2Me 平台、也没有研究员指挥的条件下，仅凭 Git 和共享 SQL 数据库重做了费马大定理的形式化证明。团队用 28.7 小时完成，输出词元约为此前由研究员加数十个智能体、耗时 11 天完成的那次形式化的三分之一，写出的证明长度约为原来的七分之一。这是一次玩具实验，作者称它说明此类智能体团队能在精心设计的安全边界内完成长周期目标。

Anthropic 让 1000 个运行 Claude Fable 5.2 早期版本的智能体，在没有 Prove2Me 平台、也没有研究员指挥的条件下，仅凭 Git 和共享 SQL 数据库重做了费马大定理的形式化证明。团队用 28.7 小时完成，输出词元约为此前由研究员加数十个智能体、耗时 11 天完成的那次形式化的三分之一，写出的证明长度约为原来的七分之一。这是一次玩具实验，作者称它说明此类智能体团队能在精心设计的安全边界内完成长周期目标。