千名 Claude Fable 5.2 智能体重现费马证明
AI 总结
Anthropic 称，1,000 个运行早期 Claude Fable 5.2 的智能体在没有 Prove2Me 和研究者引导的情况下，重现了经 Lean 检查的费马大定理形式化证明。团队耗时 28.7 小时，输出 token 用量降至此前约三分之一，证明长度缩至七分之一。该玩具实验运行在无网络沙箱中，并配有命令筛查和离线监控，因此结果不能直接外推到无约束环境。
深度见解
该实验以厂商自述展示了大规模智能体利用通用工具组织长期证明任务的方式，以及沙箱和分层监控对运行安全的作用。
Safely scaling multi-agent teams with Claude Fable 5.2 / claude.dev Blog
Agents
Safely scaling multi-agent teams with Claude Fable 5.2
How a team of 1,000 agents running an early version of Claude Fable 5.2 reproduced a formal proof of Fermat's Last Theorem with general tools, a shared database, and layered safety controls.
AUTHOR
Barry Zhang, Tianyi Peng, Elle Najt, Keller Scholl, and Lance Martin
#Anthropic#Claude Fable 5.2#Prove2Me#Lean#Fermat’s Last Theorem