ClaudeFable5.2发布， 一口气降价20%，顺手证明了费马

等 GPT-6.2 没等到，结果等到了 Claude Fable 5.2。

今天凌晨三点，Anthropic 一次放出两个模型：Claude Fable 5.2 和 Claude Mythos 5.2。

Fable 5.2 已经全量开放，Pro、Max、Ultra、Team、Enterprise 和 API 都能用，AWS 同日上架。

Mythos 5.2 目前只给通过验证的防御性网络安全和生命科学机构用。

Fable 5.2 在编码、推理、视觉都有提升，输出速度比 5.1 快约 30%。

价格也降了。

输入每百万 token 8 美元，输出 40 美元，5.1 输入输出分别是 10 美元和 50美元，降了20%。

但其实这次模型的真正的重头戏是演示的案例：长程 Agent 任务和编程进步最大。

1000 个 agent 用大约 30 小时，把费马大定理的证明交进电脑检查器；只用一段提示就做出三台能响的电子设备；还有拖了23 年的黑洞计算完成了。

◈30小时完成费马大定理的证明

费马大定理说的是，n 大于 2 时，两个正整数的 n 次方加起来，不会等于第三个正整数的 n 次方。

这句话难倒数学家 350 多年，直到 1995 年，怀尔斯写出一份 129 页的证明。

这次 Claude 做的并不是重新证明它，而是“形式化”：把怀尔斯的证明翻译成 Lean 语言，让电脑一步一步检查，每一步都对，才算过。

Anthropic 今年 9 月已经做过一次。当时用的是一个与 Fable 5.1 相当的内部模型，几十个 agent，配一个专门搭的数学平台，再加一位研究员在旁边指挥，花了 11 天，写出约 1300 万行 Lean 代码。、

这次换成 Fable 5.2 的早期版本，规模拉到 1000 个 agent，平台和研究员都撤了。每个 agent 关在一个不联网的沙盒里，手边只有命令行、Lean 工具链和一个共享数据库。

进场时它们拿到 60 条要证明的命题、一句经典证明路线的提示、相关定义，以及上次已经证完的 47 条引理。

官方还给它们分了工：1 个领队，999 个帮手。

剩下的事，全是它们自己安排的。

开场 10 分钟，领队在数据库里建了五张表：发命令、派任务、留言板、子任务清单、完工记录。

它先让每个帮手判断自己手上那道题难不难。

27 分钟后，大多数帮手回报：60 道里有 47 道在预算内做不完。领队就先把这 47 道放下，把人全压到剩下 10 道上。

大约 70 分钟，这 10 道全部证完。

剩下最难的一块叫 Langlands–Tunnell，怀尔斯的证明要靠它。负责这道题的小队长一度估计，按时做完的机会不到 1%。领队后来把大约 750 个帮手调过去。

它们把这道题拆成一棵任务树：谁觉得手上那块太大，就继续往下拆。到最后，这棵树长到 2418 个任务、10 层深。

最后到第 28.4 小时，Langlands–Tunnell 通过检查。

第 28.7 小时，整条定理进了主分支。最终完成证明。

和 9 月那次比，这次只用了约三分之一的输出 token，证明长度缩到约七分之一。

◈一段提示做出三块电路板

Anthropic 找电路板公司 Diode 做了个测试，给一段提示词，让 Fable 5.2 设计出三台能工作的电子设备：

一台家用语音助手、一台 USB 会议音箱、一只掌上电子宠物。

接下来，写规格、画原理图、从美国渠道挑现货元件、布四层电路板、建外壳 3D 模型、写固件、列物料清单，全由 Fable 5.2 自己完成。每块板子不到一天就能交给工厂生产。

过程中比较有意思的是，Fable 5.2 看着很像一个老工程师。

给语音助手布线时，它嫌 KiCad 的布线器一次只能拉一条线、太慢，就花了大约半小时自己写了一个布线器。线越布越乱时，它在推理里写：”乱到肉眼都追不清了，我应该把这些线全拆了重来。”然后真的拆了几十次。

它算出 25 毫米长的麦克风孔会在 3.4 千赫附近共振，正好落在人声频段。于是它把外壳改成前低后高的楔形，孔缩到约 10 毫米，共振点推到 8.9 千赫。

装会议音箱时，它发现电路板没法直着放进外壳，静音开关会撞上后壁，就算出要先倾斜约 25 度再放平，并写进了组装说明。

最后电路板公司 Diode 照着 Claude 的文件直接生产，中间也没有来回改。三台设备都能正常工作。

生产后的会议音箱用了几周，现在还在响。

Diode 的人说，他们没想到这次一轮修改都没有。

◈解决了23年的黑洞计算难题

1983 年，霍金和佩奇发现：在一类特殊的宇宙里，温度升高时，黑洞不是慢慢长出来的，而是像水烧开一样，到了某个点突然出现。

但这个结论只在”大宇宙”里成立，因为那里可以用广义相对论来算。宇宙小到相对论失效、只剩量子描述时，黑洞还会不会突然出现？

2003 年，物理学家把计算路线列了出来，可惜要算到三阶，太繁琐，之后 20 多年没人算完。

这次 Fable 5.2 把它算完了。

最终取决于一个系数的正负，结果是负数，所以在小宇宙里，黑洞同样是突然出现的。论文里几乎每个数都用两种方法各算了一遍，还用另一种方法单独复算了一次，结果一致。

还有一道题是一个用了十几年的界限，物理学家拿它排除某些量子引力候选理论。之前大家只知道它落在 8.503 到 12 之间，这次 Fable 5.2 把它精确地定在 9.1266 左右。

两篇论文也在11 月 7 日贴在一个叫 Hexagon 的预印本站上，署名是 Anthropic 贡献。

◈编码分数登顶

演示案例说完，当然还要看官方成绩单。

最能代表写代码的是 FrontierCode 2.0。它考的是模型改的代码，开源项目维护者愿不愿意合并。

Fable 5.2 在 Xhigh 档拿到 49.1%，上一代 Fable 5.1 同档是 32.4%，自家的 Opus 5.5 是 45.5%，GPT-6 Astra 是 42.8%。

官方还特意说了一句：Fable 5.2 开到 High 档，大约就能追平 Opus 5.5 的最好成绩，单个任务的花费只要一半左右。

机器人这一项的成绩更好。RoboDojo 让模型看着摄像头，去控制一台模拟的双臂机器人。Fable 5.1 是 27.6%，Fable 5.2 是 64.9%，断层领先其他模型。

当然这组成绩是 Anthropic 用同一套工具在内部跑的。

知识工作的 Elo 上，Opus 5.5 仍是 1800，Fable 5.2 是 1785。

第三方评测机构 Artificial Analysis 当天也测了。

Fable 5.2 开到 Max 档，综合指数 65，在榜上 74 个模型里排第一。

当然代价也一起写在了页面上：做一道题平均要 44 分钟，花 26.54 美元，跑完整套题吐出 2.75 亿个输出 token。这三项在同价位模型里几乎都排最后。

◈两个模型同一个底座

Mythos 5.2 和 Fable 5.2 是同一个底座，区别在护栏。

Fable 5.2 加了更严的网络安全和生物安全护栏，所以能开放给所有用户。

Mythos 5.2 只开放给通过网络安全或生命科学验证项目的机构。

Mythos 5.2 这次也有成绩。一家帮 Firefox 做安全加固的测试方说，同样的扫描，Mythos 5.2 找到的漏洞指标大约是 5.1 的两倍。

在生物方向，它想出一种新办法，能预测基因治疗常用的病毒外壳的整体结构，34 个里准确建模了 28 个。

不过在 Anthropic 自己的漏洞评测里，Mythos 5.2 找漏洞的能力和 Opus 5.5 大致持平。

再说价格。

Fable 5.2 和 Mythos 5.2 每百万 token 输入 8 美元、输出 40 美元，之前是 10 美元和 50 美元。

另有一个可选的快速模式，生成速度最高再快约 2.5 倍，价格翻倍到 16 美元和 80 美元，目前只在 Claude Code、Claude 开发平台和部分云平台上提供。

订阅用户这周也有福利。含 Fable 的套餐，按订阅时长送 1 到 3 次额度重置；Pro 和 Team 标准席位里，Fable 最多能占到每周用量的一半。

最后官方还给了建议，日常写代码和办公，先从 Opus 5.5 用起，真遇到要几百个 agent 连轴干上一整天的活再升到 Fable 5.2 。

参考文献

[1] Anthropic 官博

https://www.anthropic.com/claude-fable-and-mythos-5-2