Claude· @claudeai · X·· 1 小时前AI 评分61
AI 导读
Anthropic 官方宣布，1000 个 Fable 5.2 智能体组成团队在 30 小时内完成费马大定理证明的完全形式化，把证明翻译成计算机可逐步检查的语言。同一设置下，Opus 5.5 在 18 小时仅完成 26%，30 小时后几乎没有更多进展；图表显示 Fable 5.2 在 18 小时达到 0.86 后中断 12 小时再恢复，最终完成度 1.00，Opus 5.5 为 0.27。
正文 · 原文
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