Anthropic:Fable 5.2 用 1000 个 Agent 30 小时形式化费马大定理证明

sven_ai · x · 2026-11-11

Anthropic 宣布其 Fable 5.2 模型动用约 1000 个 Agent，在 30 小时内完成了费马大定理证明的形式化——即把已有数学证明转成 Lean 可以机器检查的形式。配图显示项目进行到第 11 天时共 29,511 条陈述全部被证明，涉及模性提升（Modularity lifting, R=T）、Ribet 的水平下降定理、Langlands–Tunnell 等多个数学分支模块。

官方对比中，Opus 5.5 在同样时间内未能完成该任务。需要强调的是，这不是 AI 重新发现了费马大定理，而是 AI 协助完成严谨数学验证的能力展示，但这一进展已经非常值得关注。