Anthropic：1000 个 Fable 5.2 智能体 30 小时完成费马大定理证明形式化，Opus 5.5 仅完成 26%

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。