三条新闻，一场仗

三条最关键的事实

• 一、验证权不再交给权威。 2026年8月1日，OpenAI宣布未发布模型Astra解开十道数学难题——横跨高维几何、编码理论、群论等八个领域，每一道都被搁置至少十年，算力成本约2000美元，证明用Lean 4形式化、机器可逐行验证。这不是OpenAI第一次做类似宣称：2025年10月时任VP Kevin Weil宣称GPT-5解出十道Erdős猜想，几天后被数学家Thomas Bloom当众拆穿——模型只是检索出了已有解法。这次不同：Bloom核实后在X上称之为"big news"，理由是证明任何人拿一台笔记本电脑就能跑一遍验证，信任的来源从人换成了协议。划边界的是OpenAI研究员Noam Brown：Clay数学研究所的七个千禧年大奖难题，一个都没被Astra碰。
• 二、Google送走了自己最资深的四个人，却给他们投了钱。 2026年8月5日，Google首席科学家Jeff Dean（MapReduce/Bigtable/Google Brain的奠基人之一）宣布离职，联合创立Discovery Loop，同一天出走的还有Sanjay Ghemawat、Quoc Le、Oriol Vinyals。Alphabet自己是这家新公司的founding investor和云计算合作伙伴——这不是慷慨，是买保险：与其防着这几位另起炉灶变成对手，不如继续绑定他们。触发这次重组的是Gemini 3.5 Pro发布落后计划数月、编程能力未达标；Alphabet股价当日跌约4%，加上6月的一次，两次合计市值蒸发约2250亿美元。
• 三、Anthropic把旗舰做到半价，OpenAI把入门砍到两折。 Anthropic 7月24日发布Claude Opus 5，性能逼近旗舰Fable 5、价格只是其一半；OpenAI 7月30日把最小模型Luna输入价砍到原价的五分之一，靠旗舰Sol自我优化推理内核降本约20%、投机解码提效超15%（两数不能直接相加）。份额已经反转，企业API份额上Anthropic从2023年约12%涨到2026年约32%（2026年4月首次反超），OpenAI从超50%跌到约25%；Claude Code已占企业编程市场54%，OpenAI占21%。但OpenAI总营收（约130亿ARR）仍领先Anthropic（约50亿）——两家做的是完全不同的生意：OpenAI 85%收入来自个人订阅，Anthropic 85%来自企业客户。

别处读不到的洞见

Google把离职科学家转身变成被投对象，透露出一个比"人才战争"更冷静的判断：大公司自己承认，像"自动化科学发现"这类前沿探索性研究，放进科层结构里做，效率天然更低——这对任何规模较小的团队都有直接镜鉴价值：稳态执行和探索性研究之间，也该有清楚的组织边界，不能用同一套流程管两种性质完全不同的工作。

我的判断

表面是三条独立新闻，底层是同一场"用AI自动化AI研发本身"的竞赛进入了新阶段——一次做在知识生产端（数学证明），一次做在成本结构端（内核优化），Anthropic把Opus 5做成"逼近旗舰、半价"，是这场仗在价格维度上的打法。这个判断可能错，但如果"研究和工程本身可被自动化"这件事真的兑现，它改变的不是模型排行榜，而是一个人、一个小团队能触达的产出规模上限。