Anthropic 用 1000 个 Claude Fable 5.2 智能体复现费马大定理形式化证明

Anthropic 团队让 1000 个运行早期 Claude Fable 5.2 的智能体在沙箱中复现费马大定理的形式化证明，未使用 Prove2Me 平台或研究人员引导。团队用时 28.7 小时，消耗的输出 token 约为原实验的三分之一，证明长度为原来的七分之一。实验以 Git 和共享 SQL 数据库协调任务，并由实时及离线监控器审查智能体行为。