Anthropic 新发布的 Claude Fable 5.2 最亮眼的成果就是调用 1000 个 Agent 协同，只用 30 小时完成费马大定理的 Lean 形式化证明，全程几乎不用人工介入，相比之前版本在速度、token 消耗、证明精简度上都有巨大提升。很多人会混淆，怀尔斯早在 1995 年就给出了费马大定理的数学证明，这次不是 AI 从零想出新证明，而是把整套证明翻译成 Lean 证明助手能逐行校验的严谨形式化代码，补齐所有逻辑缺口，这件事以往被学界认为需要数年工作量，早期 Claude 版本在人指导下还花了 11 天才做完，所以这次的结果冲击力很强。实验先启动 1000 个 Fable 5.2 智能体，只给极简提示词和中间定理清单，不给额外数学参考材料，让智能体自己协商分工、拆分子命题、并行证明中间引理，持续推进直到全部命题通过 Lean 校验；再对比同规模下 Opus 5.5 的基线表现，记录完成进度、token 消耗、证明行数；最后拿到完整可机器核验的形式化证明，整套证明篇幅压缩到上次版本的 1/7，动作 token 消耗降到原来的 1/3。
两次费马大定理形式化实验对比表
| 项目 | 早期 Claude 研究版 | Claude Fable 5.2 |
|---|---|---|
| 耗时 | 11 天 | 30 小时 |
| 人工参与度 | 高，研究员持续指导 | 极低，仅少量基础提示 |
| Agent 规模 | 数十个 Agent | 1000 个 Agent 协同 |
| 证明体量 | 1300 万行 Lean 代码 | 缩减至原版本 1/7 |
| Token 消耗 | 基准值 | 仅为原版 1/3 |
| 对照模型同条件表现 | 无 | Opus 5.5 30 小时仅完成约 27% |
Claude Fable 5.2 费马大定理形式化核心流程清单
- 任务初始化：下发顶层目标 + 60 条中间里程碑命题，不提供怀尔斯论文、数学库参考资料
- 智能体自组织分工：Agent 自动拆分复杂命题，认领可独立证明的子引理
- Lean 代码编写与编译校验：每个 Agent 输出 Lean 代码，交由证明助手自动检查逻辑漏洞
- 状态同步：通过共享任务图同步哪些命题已经证明、哪些还待攻坚，避免重复工作
- 依赖链收敛：等底层引理全部验证通过后，向上组装，完成顶层费马大定理证明
- 结果归档：输出完整可复现、Lean 可一次性核验的形式化证明包
Fable 5.2 配套能力补充
- 同系列还有 Claude Mythos 5.2，底层基座一致，安全策略不同，面向审核后的科研机构
- 除数学形式化外，Fable 5.2 还自主解决两个黑洞相关理论物理开放问题
- 推理生成速度相比 5.1 版本提升 30%，API 定价下调 20%
- 擅长大规模多智能体协同、复杂程序开发、长链路科学推理
【相关 FAQ】
问题 1：Claude Fable 5.2 用 30 小时完成费马大定理形式化，是 AI 重新发现了费马大定理的新证明吗？
回答 1：Claude Fable 5.2 用 30 小时完成费马大定理形式化，并不是 AI 原创新的数学证明，而是把怀尔斯已有的证明转成 Lean 可自动校验的形式化版本。
问题 2：Claude Fable 5.2 完成费马大定理形式化，为什么要用到 1000 个 Agent 一起协作？
回答 2：Claude Fable 5.2 完成费马大定理形式化，整套证明包含海量中间引理，1000 个 Agent 可以并行拆分、独立证明子命题，大幅压缩整体耗时。
问题 3：Claude Fable 5.2 费马大定理形式化实验，和之前 11 天版本相比进步在哪？
回答 3：Claude Fable 5.2 费马大定理形式化实验，耗时从 11 天缩短到 30 小时，人工干预大幅减少，证明更短、消耗 token 更少，还能自主建立协作规则。
问题 4：Claude Fable 5.2 和 Mythos 5.2 底层一样，两者在费马大定理形式化这类科研场景上有什么差别？
回答 4：Claude Fable 5.2 和 Mythos 5.2 底层一致，Fable 5.2 面向普通开放调用，内置强安全防护；Mythos 5.2 定向开放给经过审核的网络安全、生命科学科研团队。
【参考资料】
[2026-11-09]（Introducing Claude Fable 5.2 and Claude Mythos 5.2）Anthropic 官网
[2026-11-09]（Safely scaling multi-agent teams with Claude Fable 5.2）claude.dev 博客
[2026-11-10]（Claude Fable 5.2 震撼发布：30 小时完成费马大定理形式化）36 氪
[2026-11-10]（Claude Fable 5.2 炸场！30 小时完成费马大定理形式化）新浪财经
[2026-09-04]（Formalizing Fermat's Last Theorem）Anthropic 研究专栏
【免责声明】
本文基于 Anthropic 官方发布文档与公开科技媒体报道整理，Claude Fable 5.2 费马大定理形式化属于限定条件下的研究实验结果，单次实验不代表所有数学命题都能同等高效完成；模型能力、API 权限、安全管控规则后续可能调整，正式科研使用请以 Anthropic 官方最新文档为准。