新智元 · 微信公众号· ASI启示录·· 1 天前AI 评分46
Claude Fable 5.2 与 Mythos 5.2 发布：30 小时形式化证明费马大定理
最强Fable 5.2震撼发布！费马大定理30小时形式化，全面碾压Opus 5.5
AI 导读
Claude Fable 5.2 与 Claude Mythos 5.2 发布，官方称 1000 个 Fable 5.2 智能体在无数学参考资料条件下用 30 小时完成费马大定理的形式化证明，而 Opus 5.5 跑 18 小时仅完成 26%。
来源：新智元 · 微信公众号 · mp.weixin.qq.com