1000 个 AI 30 小时验证费马大定理？Claude

费马大定理，人类花了 358 年才证明；Claude Fable 5.2 的约 1000 个智能体，30 小时把整套证明形式化到机器可验证。3 分钟看懂 Anthropic 11 月 9 日发布的新模型： · 双生模型：Fable 和 Mythos 是同一个模型，Fable 带安全护栏、付费用户可用；Mythos 只开放给审核机构 · 更强：FrontierCode 2.0 从 32.4 到 49.1（Opus 5.5 为 45.5）；远程真实工作 17.9 → 41.3；机器人仿真 27.6 → 64.9（官方数据） · 第三方：Artificial Analysis 智能指数 65，目前第一（Opus 5.5 为 59） · 更快：输出最多快 30%；部分机构可开快速模式，最高 2.5 倍速、价格翻倍 · 更便宜：每百万 token 输入 10 → 8 美元，输出 50 → 40 美元 · 但是：Max 档单任务平均约 26.5 美元，约为 Opus 5.5 的 2.6 倍；Terminal-Bench 4.0 落后多个对手；渗透测试类请求会被拒绝 · 怎么选：官方建议日常先用 Opus 5.5，长时间、开放式难题再交给 Fable 5.2 说明：跑分多为 Anthropic 官方数据，单任务成本与智能指数来自 Artificial Analysis；黑洞物理等成果为官方表述，尚待学界检验。配音为 AI 合成（Fish Audio），画面为原创示意动画，非官方内容。 资料：Anthropic 官方公告、The Decoder、Artificial Analysis、Fortune、CNBC、AWS 博客、9to5Mac。 #claude #ClaudeFable #Anthropic #AI工具 #科技资讯