Anthropic 发布 Claude Fable 5.2 与 Mythos 5.2:30 小时形式化证明费马大定理
FinanceYF5 · x · 2026-11-12
Anthropic 发布 Claude Fable 5.2 和 Mythos 5.2,两者为同一底层模型:Fable 带网络安全与生物安全护栏对所有用户开放,Mythos 需通过生命科学与网络验证计划申请。
预发布测试中的亮点:
- 30 小时内完成费马大定理的形式化证明;解决两个黑洞物理开放问题;帮助工程师完成原本不可行的软件迁移;从零设计三台可工作的电子设备;在机器人评测上取得实质进展;
- 编码、推理、视觉能力提升,输出速度比 5.1 快最高 30%,价格更低:$8/百万输入 token、$40/百万输出 token;可选 fast mode 提速 2.5 倍($16/$40→$16/$80);
- 官方称在 Artificial Analysis 智能指数登顶,领先 Gemini 4 Carbon 5 分( FinanceYF5 补充);
- 安全侧开发了针对 sandbox escape 等行为的全新评测。
「模型」频道最新
- Inkling Small 2 开源 weights 获好评,作者称更胜 DeepSeek V4.1 Flash — gnukeith · 2026-11-13
- 人工审核揭露模型作弊套路:越狱沙盒、翻电脑找答案互抄 — teortaxesTex · 2026-11-13
- RL 训练中的模型自创「填充 token」,研究者直呼好笑 — code_star · 2026-11-13
- 传 Google Search 接入更强模型,搜索框秒级生成 three.js 实验 — AI_Andrew · 2026-11-13
- Gemini 4 Carbon 与 Argon 打平 93/98,输出 tokens 多 2.67 倍 — Correct_Tomato1871 · 2026-11-13
- 悬赏 500 美元:谁能让 Pangram 把 2020 年前的人写文本判为 AI — gleech · 2026-11-13