1000 个 Fable 5.2 智能体 30 小时完成费马大定理形式化

Anthropic 宣布，1000 个 Fable 5.2 智能体组成的团队在 30 小时内完成了费马大定理证明的完整形式化，把证明逐步翻译成计算机可验证的语言。 在完全相同的实验设置下，Opus 5.5 用 18 小时只完成了 26%，到 30 小时也几乎没有新增进度。这说明两者在长程协作、任务拆分与形式化推理能力上的差距是数量级级别的，而非微调差异。 费马大定理的形式化一直是检验数学 AI 系统的标志性难题，此前相关工作通常需要数学家团队数月投入。多智能体规模扩展加长时程任务调度若能复现，将直接改变形式化验证（如 Lean 生态）和复杂数学工程的工作方式。