Anthropic 发布 Fable／Mythos 5.2，从形式化数学到电子原型

本期素材来自 11 月 9 日 06:00 至 11 月 10 日约 06:12（北京时间）之间 AI 相关账号的发帖与一手来源。

要闻

Anthropic 发布 Fable／Mythos 5.2：能否把复杂技术任务真正做完

Anthropic 发布 Claude Fable 5.2 与 Claude Mythos 5.2。这次最值得细看的，不只是编码、推理和视觉评测上涨，而是两类具体成果：让一组代理完成费马大定理的机器可检查形式化证明，以及设计出由人类制造、能够工作的电子原型。

两款模型使用同一个底座，但开放范围不同。Fable 5.2 面向付费用户开放，保留较强的网络安全与生物安全护栏；Mythos 5.2 减少了其中部分限制，需要通过生命科学或网络安全验证项目申请访问。 不能因为 Fable 可用，就认为同一账号也能直接使用 Mythos。

在数学实验中，Anthropic 让约 1000 个 Fable 5.2 代理协作，用 30 小时在 Lean 中完成费马大定理的形式化。这不是发现新的费马大定理证明，而是把证明写成可由计算机逐步核验的形式。同样规模的代理设置下，Anthropic 的 Claude Opus 5.5 在约 18 小时完成了 26%，之后进展有限。官方图表注明，每款模型只有一次运行；这项演示不能直接换算成所有数学任务的速度差。

硬件实验则更接近真实工程。Fable 5.2 从简短需求出发，选择元器件、布置电路板、设计外壳并编写固件。合作公司 Diode Computers 的工程师负责实际制造、装配和测试，最终做出了 三台可工作的原型：USB 会议扬声器、语音助手中枢和掌上虚拟宠物。据官方介绍，三块电路板都没有要求修改电路才工作。

这不是“AI 独自开工厂”：Claude 没有连接制造设备和测试仪器，原型也尚未经过完整电气验证、天线调校、热测试或商业认证。更实在的进步，是设计能同时照顾元件供应、走线、外壳和固件，而不是只输出一张看起来合理的电路图。（电子设计研究）

编码方面，Anthropic 自报 Fable 5.2 在 FrontierCode 2.0 的 Xhigh 档得分为 49.1%；在 High 档，与 Opus 5.5 Max 档的表现大致持平，单任务成本约为一半。这是该评测及其设置下的结果。Anthropic 仍建议，多数日常编码和知识任务先用 Opus 5.5，再按难度升级到 Fable 或 Mythos。

标准价格降至每百万输入 token 8 美元、输出 40 美元，前代为 10／50 美元；普通输出生成速度相较 5.1 最高提升约 30%。可选 Fast mode 的 token 生成速度最高为普通模式的约 2.5 倍，价格为每百万输入 16 美元、输出 80 美元。Fable 已进入 Claude Platform、Claude Code 及 AWS、Google Cloud、Azure，开发者模型 ID 为 claude-fable-5-2。（官方发布）

发布周还有额外用量安排：符合条件、原本包含 Fable 的计划与席位，按订阅时长获得 1–3 次 Fable 用量重置；Pro 和 Team 标准席位可在最多占周用量上限一半的范围内使用 Fable。具体资格与额度仍以活动规则为准。

Meta 发布 Muse Ember，把重复执行任务交给更便宜的模型

Meta 发布自家 Muse Ember，定位于代理反复执行的工作：调用工具、提取信息、处理长文档、运行测试和做小范围代码修改。它支持文本、图像、音频、视频输入，具有 100 万 token 上下文，已在 Meta Model API 与 Muse Code 提供，模型 ID 为 muse-ember-1.0。

公布的短提示词标准价格为每百万输入 token 0.10 美元、输出 0.50 美元；长提示词适用更高费率，不能把这一价格直接套到完整百万 token 输入。Meta 的思路很明确：让自家的 Muse Wonder 处理难题和规划，让 Ember 承担大量重复步骤。实际成本是否更低，还得连同重试次数和最终完成率一起看。（Meta 发布文）

OpenAI 介绍 Control Room：在推理层阻止研究任务继续输出

OpenAI 公布 Control Room，统一跟踪研究基础设施中的模型推理工作负载，并与异常行为监测联动。官方称，从收到停止指令起，系统可在 35 秒内阻止相关作业继续获得模型输出。

关键在于停的是推理权限：即使研究作业自身的代码没有退出，推理引擎也会拒绝它后续的请求。Control Room 服务发生故障时默认拒绝请求的机制，已覆盖前沿模型研究任务，其余研究任务仍在推进部署。这是研究基础设施的控制系统，不是对所有 ChatGPT 服务新加了一个统一急停按钮。（技术说明）

产品动态

OpenAI Dots 可连接多台本地电脑

OpenAI 的 Dots 现在允许同一个 Dot 连接多台本地电脑，并为任务选择使用哪一台。例如，用户继续在笔记本上写代码，让 Dot 去专用机器上构建和测试应用。

Google Antigravity 增加知识工作布局

Google 的 Antigravity 推出面向研究、写作与产物的 Knowledge Work 界面布局，减少终端和 Git 界面元素。底层仍沿用相同的代理执行框架、插件及 MCP 工具，不是另做一套不兼容的代理系统。

Google AI Studio 接入地图能力

Google 的 AI Studio 接入 Google Maps Platform，支持通过描述需求构建地图应用，可使用地图瓦片、地点、天气、路线、三维建筑与街景等能力。

OpenAI 的 Codex 版 Chromatic 掌机正式开卖

昨日预告的 OpenAI × ModRetro Chromatic 联名掌机已在 Supply Co. 上架。OpenAI 同时介绍了 Codex 中的 ModRetro Chromatic 插件，可用于设计关卡、制作精灵动画，再到掌机上试玩。

OpenRouter 升级 MCP，Grok Bot 重置周限额

模型路由平台 OpenRouter 宣布升级自家 MCP，让兼容代理更方便地使用平台能力。

SpaceX Super Intelligence 旗下的 Grok Bot 官号则宣布，已重置全体用户的周限额。