Anthropic称1000个Claude智能体仅用通用工具复现费马大定理证明，效率较此前提升显著

Anthropic于2026年11月9日发布博客称，其团队使用1000个运行早期版本Claude Fable 5.2的智能体，成功复现了费马大定理的形式化证明。与今年9月首次实现该目标时依赖专用平台Prove2Me和人类研究员指导不同，此次实验仅使用Git、PostgreSQL数据库等通用工具，且无人类直接干预。

据Anthropic报告，此次实验耗时28.7小时，使用的输出令牌数量仅为9月基准的三分之一，生成的Lean代码长度也缩短至原来的七分之一。在9月的实验中，数十个智能体在人类指导下耗时11天、消耗约60亿输出令牌才完成类似工作。

实验中的智能体通过共享数据库协调任务：一个“领导”智能体负责拆分问题并分配给999个“助手”智能体。助手们利用数据库表记录进度、认领子任务，并通过Git提交代码供检查器验证。这种基于通用工具的自组织方式，证明了多智能体系统在处理长周期复杂问题时，可能不再严格依赖领域特定的脚手架平台。

值得注意的是，这仍是一个受控环境下的“玩具实验”，且为厂商自报结果，未经独立第三方复现。Anthropic指出，虽然通用工具足以完成任务，但专用平台如Prove2Me可能在编译速度和复用人类成果方面继续提供效率优势。此外，实验强调了安全边界的重要性，所有智能体均在无网络访问的沙箱中运行，并受到实时监控系统的保护。