11-12
1000 个 Agent 自建协作体系，28 小时证完费马大定理
Anthropic 用一个玩具实验检验多 Agent 团队能否脱离专用平台自行组织：1000 个运行 Claude Fable 5.2 早期版本的 agent，只拿到 60 条待证命题、一段古典路线的单句提示和 47 条已有引理，被分为 1 名 lead 与 999 名 helper，各自在无网络的沙箱里工作。团队用 28.7 小时完成形式化，输出 token 为九月份那次人工主导版本的三分之一，证明长度约为七分之一。没有 Prove2Me 的共享证明图，lead 在前 10 分钟自己在 Postgres 里建了五张表（announce / assign / notes / subtasks / landed），之后按难度重排人力，最后用一棵深达 10 层、2418 个节点的任务树啃下 Langlands–Tunnell。作者也承认局限：agent 会集体误判难度并过早放弃，人类在此时点仍有用。适合关注 Agent 编排、沙箱与运行时安全的工程师阅读。