Claude Fable 5.2发布，30小时搞定费马大定理形式化验证

Anthropic这边又有新动作了。11月10日，Anthropic正式发布Claude Fable 5.2与Claude Mythos 5.2两款模型，两者基于相同的底层架构，主要面向复杂编程、科学研究及工程任务。相比5.1版本，新模型输出速度最高提升30%，另外新增了快速模式，生成速度最高可以拉到2.5倍，快速模式的价格分别为16美元和80美元。

先说价格。Fable 5.2的API定价为每百万Token输入8美元、输出40美元，上一代Fable 5.1是输入10美元、输出50美元，等于旗舰档这次是加量降价。常规档Opus 5.5保持在输入4美元、输出20美元的水平，依旧是性价比担当。

跑分方面Fable 5.2的提升相当全面。在FrontierCode 2.0编程测试中取得49.1%的成绩，高于Opus 5.5的45.5%和GPT-6 Astra的42.8%，FrontierSWE v2更是冲到69.9%，比5.1的56.3%拉开了十几分的差距。Humanity's Last Exam带工具测试达到74.2%，多学科推理和视觉图表识别这两项相比5.1的提升幅度都超过了25个百分点。其他维度上，OSWorld计算机操作89.3%，WANDR智能体搜索82.1%，机器人仿真RoboDojo从5.1的27.6%直接跳到64.9%，提升幅度在整个成绩单里最显眼。

科学和工程领域的演示是这次发布会的另一个看点。Anthropic展示了模型解决两项黑洞理论物理开放问题、协调超过1000个智能体协作开发可运行的原型操作系统，以及在30小时内完成费马大定理证明的形式化验证。从公开的进度曲线看，Fable 5.2在30小时内把验证完成度推到100%，同一任务下Opus 5.5跑满全程只有27%，差距非常直观。安全相关的测试里，CyScenarioBench拿到76.3%，CVE Rediscovery达到89.6%，蛋白质设计测试也有85.1%。

需要留意的是，这次发布的两款模型定位并不一样。Fable 5.2已面向普通用户开放，Mythos 5.2则主要面向经过验证的网络安全和生命科学研究机构，需要通过专门的验证计划申请使用，普通用户暂时摸不到。Anthropic官方也给出了建议，日常编程和知识类任务仍然优先使用Opus 5.5，Fable 5.2更适合攻坚复杂项目。第三方榜单上，Fable 5.2最高档在智能指数里排到65分位居榜首，不过高算力档位目前还没有公开API，想体验的只能走标准档位。

整体看，这轮更新的思路很清晰，旗舰档负责冲极限，中档负责走量，高端安全模型单独管控。编程和科研这些高价值场景的竞争，接下来只会更卷。