1000 个 Fable 5.2 智能体用 30 小时完成费马大定理形式化
摘要
Claude 官方账号称，一支由 1000 个 Fable 5.2 智能体组成的团队用 30 小时将费马大定理的证明完整形式化，转写成计算机可逐步检验的语言。同一设置下，Opus 5.5 在 18 小时内只完成 26%，到 30 小时也几乎没有更多进展。
摘要由模型根据原文撰写，以原文为准。
正文 · 原文
A team of 1,000 Fable 5.2 agents fully formalized Fermat’s Last Theorem in 30 hours, translating the proof into a language a computer can check step by step.
With the same setup, Opus 5.5 completed only 26% in 18 hours, and barely made any more progress after 30 hours.
来源：Claude · x.com
引用原文
claudeai. A team of 1,000 Fable 5.2 agents fully formalized Fermat’s Last Theorem in 30 hours, translating the proof into a language a computer can...[EB/OL]. (2026-11-10)[访问日期]. https://x.com/claudeai/status/2119867129751056485.