Anthropic 发新模型 Fable 5.2：更快更便宜，还让 1000 个 AI 用 30 小时搞定了一件数学界的大事

11 月 9 日，Anthropic 发布新模型 Claude Fable 5.2 和 Mythos 5.2。和上一代 5.1 相比，Fable 5.2 价格降了 20%，输出速度最多快 30%。

价格方面：每百万输入词元 8 美元、输出 40 美元，5.1 是 10 美元和 50 美元。词元是 AI 处理文本的计量单位，不完全等于字数。另有一个可选的快速模式，出字最多再快到 2.5 倍，但要付标准价的两倍。

按官方公布的测试数据，Fable 5.2 在多项测试里高于前旗舰 Claude Opus 5.5，比如真实软件工程任务测试 FrontierSWE v2 是 69.9%，Opus 5.5 是 62.3%。这些是厂商公布的成绩，不是第三方测试。

最受关注的是一件数学上的事：1000 个 Fable 5.2 智能体在 30 小时内、只需极少人工干预，完成了费马大定理证明的形式化，也就是把证明转换成数学软件 Lean 能逐步检查的语言。要说清楚，费马大定理 1995 年就被证明了，AI 做的不是重新证明，而是把证明改写成计算机能一步步核对的版本。对比之下，Opus 5.5 同样设置 18 小时只做了 26%，此前一个未发布研究版本做同一件事花了 11 天。

Fable 和 Mythos 其实是同一个底层模型：Fable 带较强的网络安全和生物安全防护，对所有人开放；Mythos 去掉部分防护，只给通过审核的网络安全或生物医学研究机构用。

官方还提到两个与黑洞有关的理论物理开放问题被解决，三款带电路板、3D 打印外壳和软件的电子设备从零做了出来，Anthropic 核心代码库超过 90% 的合并改动也已由 Claude 在人工指导下写成。这次的看点是：成绩更高的同时更便宜、更快，而且一群 AI 能长时间协作把复杂的事做完。对开发者来说，同样的预算能多做一些调用；对普通用户来说，能不能用上还要看订阅的套餐。

你更看重新模型的"更强"，还是"更便宜更快"？

人工智能AI大模型Anthropicai大模型