AI 前沿 · 每日整理
Fable 5.2 发布：30 小时攻克费马大定理形式化
Anthropic 发布旗舰 Fable 5.2 与 Mythos 5.2：FrontierCode 2.0 编程基准从 5.1 的 32.4% 跃升到 49.1%，1000 个 Fable 5.2 智能体仅用 30 小时就完成了费马大定理的形式化证明，而此前未发布的研究版花了 11 天；速度提升 30%，价格降至每百万 token 输入 8 美元、输出 40 美元。
原文摘录
formalized the proof of Fermat's Last Theorem in 30 hours（大意：30 小时就完成了费马大定理的形式化证明。）
值得肯定
数字摆在明面上：FrontierCode 2.0 从 32.4% 跃升到 49.1%，1000 个智能体 30 小时完成形式化证明；能力涨了、价格还降了，输入 8 美元、输出 40 美元每百万 token。
需要注意
头条基准数字来自 Anthropic 官方，尚未经第三方复核；Hacker News 上也有评论质疑 Opus 5.5 被削弱是为新版让路。