Claude Opus 5.5 发布：编程基准最强，价格砍 40%，Amodei 两个月前喊的减速呢
Anthropic 9 月 22 日发布 Claude Opus 5.5：编程基准最强、价格砍 40%、缓存读取降 60%；这是 CEO Dario Amodei 两个月前呼吁给安全让出空间后，公司的第一份商业答卷。
OpenAI 在 OpenRouter 上两年半首次反超 Anthropic：GPT-6 家族的双轨打法开始见效
一句话结论：9 月 16 日，OpenRouter 的数据显示 OpenAI 模型上周的调用支出正式超过 Anthropic——这是 2024 年初以来 30 多个月的第一次。背后是 GPT-6 Astra 和 GPT-5.6 Luna 双轨发力：前者高端卖钱、后者低端走量。同一天，GPT-6 Sol 也被曝灰度测试中，据称速度远超传闻中的 Opus 5.2。 AI 摘要 发生了什么：OpenRouter 数据显示 OpenAI 模型调用支出上周反超 Anthropic，为两年半首次。为什么重要：「钱包份额」比 token 调用量更能反映开发者真实选择，这次反转意味着 Claude 的统治地位被打破。关键数据：Astra 单周拿下 OpenAI+Anthropic 合计支出的 19%，超过 Opus 5 的 16%；GPT-6 Sol...
Claude Opus 5.2 深夜灰度上线：跳过 5.1 直接端出，开发者实测「快、准、狠」
一句话结论：9 月 15 日凌晨，Anthropic 在 Claude Code 里悄悄开启了 Opus 5.2 的灰度测试。前端名字没变，但抓包发现后端模型 slug 已经指向 Opus 5.2——也就是说它大概率跳过了 5.1，直接端出了 5.2。开发者实测反馈集中在三个字：快、准、狠。 AI 摘要 发生了什么：Claude Code 调用 Opus 5 时，后端模型已被路由到 Opus 5.2，跳过了 5.1 版本。为什么重要：这是 Anthropic 首次用「灰度 + 路由」的方式偷偷换模型，且换上的可能是下一代主力。开发者反馈：响应速度肉眼可见提升，废话变少，长任务不再「偷懒」。事实边界：Anthropic 官方未发布公告，5.2 的完整能力边界与发布时间仍是推测。 Opus 5.2 到底是什么 事情起于 9 月 15 日凌晨，X 上的开发者先炸了锅。越来越多的人发现，自己在...
Anthropic CEO 亲自喊减速：AI 该给「安全」踩一脚刹车了，Altman 和 Musk 都点头
一句话结论：Anthropic CEO Dario Amodei 9 月 12 日发表长文，提出「Pacing the Frontier」三步减速计划，并单方面承诺让外部评估员进驻公司内部。几小时内，Altman 和 Musk 都公开表示认同——这是 AI 行业第一次由头部公司 CEO 主动要求给能力增长降速。 AI 摘要 发生了什么：Amodei 发文《We Must Pace the Frontier》，提出三步计划给前沿 AI 能力增长「配速」。核心变化：Anthropic 单方面承诺第一步——让第三方评估员以员工级权限进驻，可独立发布发现。影响对象：所有前沿 AI 公司、依赖 AI 安全评估的企业、关注 AI 治理的人。下一步观察：OpenAI 是否兑现「我们也这么做」，以及美国反垄断豁免能否落地。 发生了什么 9 月 12 日，Anthropic CEO Dario Amodei 在他个人网站上发了一篇约...
Claude 首次证明费马大定理：11 天写 1300 万行 Lean 代码，AI 完成数学史上最大自动形式化
一句话结论：Anthropic 用 Claude 在 11 天内完成了费马大定理的首个端到端机器验证证明，生成 1300 万行 Lean 代码、验证近 3 万条定理——这不是新数学发现，而是把 Wiles 1995 年的证明变成计算机可逐行验证的凭据。 AI 摘要 发生了什么：Claude 在 11 天内完成费马大定理的机器验证证明，规模是 Mathlib 的 5 倍多。核心变化：多智能体协作从「乱套」到「可并行」，靠的是一个叫 Prove2Me 的定理任务树平台。影响对象：数学家、AI 研究者、关注形式化验证的开发者。下一步观察：这个模式能否复制到其他未形式化的重大数学定理上。 发生了什么 9 月 5 日，Anthropic 宣布 Claude 完成了费马大定理的首个端到端机器验证证明。费马大定理折磨了数学家 350 多年，Andrew Wiles 在 1995 年给出了最终证明，但那套证明长达 129 页，之后人类一直在尝试把它「形式化」——也就是翻译成...