Claude Fable/Mythos 5.2 发布：一个模型、两副护栏，agent 军团 30 小时形式化费马大定理
11 月 9 日，Anthropic 发布 Fable 5.2 与 Mythos 5.2。这次发布最有趣的地方不是分数，而是它披露的一个产品事实：「Fable 和 Mythos 是同一个底层模型」——差别只在于防护配置。Fable 5.2 面向大众（带网络安全与生物安全防护），Mythos 5.2 去掉了部分网络/生物防护，仅向通过 Cyber 与 Life Sciences Verification Programs 审核的组织开放，被定位为「安全工程领域最强的 Anthropic 模型」。
此前社区流传的「Fable 5.5」「Obsidian 3」泄漏名称，在官方页面上完全没有出现——传闻与真实产品线再次对不上，这也提醒我们：泄漏情报的「版本号」几乎不可信，可信的只有官方发布。
基准与实战
- FrontierCode 2.0（agentic 编码）：49.1%（Xhigh 档），所有已发布模型中最高；
- Humanity's Last Exam：74.2%（Opus 5.5 为 67.7%）；
- Mythos 5.2（无防护配置）CVE 复现：89.6%；
- RoboDojo Sim（机器人仿真）：64.9%，超过此前最佳一倍以上；
- 最具象征意义的一项：约 1,000 个 Fable agent 协作，在 30 小时内完成了费马大定理的 Lean 全形式化——数学史上最著名的证明之一（安德鲁·怀尔斯 1995 年的原证明约 129 页），如今以机器可校验的形式被完整收纳进数学公共记录。这与本周 CFSG（有限简单群分类）Lean 形式化、AWM 的 Lean 验证、OpenAI 的数学发布连成一条完整的「形式化数学工业化」叙事。
输出速度较 5.1 快 30%，另有可选 fast mode（快 2.5 倍）。定价 $8/$40 每百万输入/输出 token（fast mode $16/$80），全平台可用——Claude 应用、Claude Platform（claude-fable-5-2）、AWS、Google Cloud、Microsoft Azure。
「同一模型、两副护栏」的架构意义
这种发布方式值得单独记录：能力与安全策略解耦——同一个模型，按客户资质分发不同的护栏配置。对企业用户的直接含义有两层：其一，通过 Verification Program 审核的组织可以拿到更强的安全工程能力（需要走流程）；其二，「你的模型和别人的模型不一样」将成为常态——选型时必须问清「这个模型在我这个资质下是什么配置」，而不再是「这个模型有多强」。
对企业的启示
其一，FrontierCode 49.1% + 费马形式化，把「agent 军团长期协作」从演示推到了极限任务——30 小时、1000 个 agent、全形式化，这个工程组织能力本身就是产品。其二，定价 $8/$40 高于 Sonnet 5.5 的 $2/$10 一档，对应的是「最强档」定位，重度 agentic 工作流的团队值得测算「更高单价 × 更少轮次」与「低价模型 × 更多轮次」的总账。其三，双配置模式对合规敏感企业是好消息——需要强安全能力的（如渗透测试供应商）走审核通道拿 Mythos，普通企业用 Fable，边界清晰。ProMen 在为企业落地 agentic 工作流时，将按此双轨逻辑为客户设计模型配置矩阵。