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

Anthropic 用 1000 个 Claude Fable 5.2 智能体在安全沙箱内复现费马大定理形式化证明

Safely scaling multi-agent teams with Claude Fable 5.2

AI 导读

Anthropic 团队让 1000 个运行早期版 Claude Fable 5.2 的智能体在不使用 Prove2Me 平台、无研究者指导的情况下复现费马大定理的 Lean 形式化证明，耗时 28.7 小时，输出 token 为此前规模的约三分之一，证明长度为原版七分之一。

推荐理由

原文详细记录了 1000 个智能体在沙箱与双重监控下协作完成费马大定理形式化的全过程，其安全边界设计和自组织协调细节可作参考。