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 上的开发者先炸了锅。越来越多的人发现，自己在...
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 页，之后人类一直在尝试把它「形式化」——也就是翻译成...
Claude 科研进展：密码学研究说明了什么，又没有说明什么
依据 Anthropic 官方研究公告区分 HAWK、减轮 AES 与生产安全影响，整理 AI 科研新闻的证据层级和验证方法。
Claude Opus 5 深度解读：半价 Fable 5 的 Agentic Coding 新王者
2026 年 7 月 24 日，Anthropic 发布了 Claude Opus 5。这距离 Fable 5 和 Mythos 5 的发布仅过去六周，但 Opus 5 的定位却完全不同：它不是实验室里的前沿模型，而是一个「日常可用的旗舰」。用 Anthropic 官方的话说——「以 Fable 5 一半的价格，接近其前沿智能」。
**核心要点**- Opus 5 在 Frontier-Bench v0.1 得分 43.3%，不仅超越 Fable 5 的 33.7%，更将 Opus 4.8 的 18.7% 翻了一倍多（[Anthropic](https://www.anthropic.com/news/claude-opus-5)，2026）-...