作者姓名：wgding

2026年7月12日 AI 早报：GPT-5.6 一小时解 50 年数学猜想、许锦波团队 MoleculeOS 开放、Claude 重置 Fable 5 额度等今日亮点 + 7 篇全球重要新闻。

Bun 11 天、16.5 万美元、100 万行 AI 代码重写事件：Zig 创始人万字长文炮轰"黑客式补丁"，社区分裂成里程碑与灾难两派。真正的问题——当 AI 代码量超过人类审查能力，软件工程信任模型怎么重建？

Bun 的 Rust 重写（53 万行 Zig→100 万行 Rust，16.5 万美元）不是 AI 取代程序员的证据，而是新困境预演：代码生成速度超过人类理解速度，我们是在积累技术债而非消除它。

GPT-5.6 家族 Sol/Terra/Luna 三层定价，共同哲学是"每 token 办更多事"。这次发布最值得关注的不是变强了，而是"不浪费了"——从模型迭代转向产品策略重定向。

GPT-5.6 把计费逻辑从"按月卖门票"换成"按用量装水表"：门免费，进门后每干一件活都扣用量池额度。OpenAI 装了一块水表，软件行业的地基开始动了。

2026年7月11日 AI 早报：许锦波团队 MoleculeOS 开放、GPT-5.6 逼 Claude 重置 Fable 5 额度、百度搭子升级等今日亮点 + 7 篇全球重要新闻。

Meta 量产 Iris、DeepSeek 秘密造推理芯片、智谱合作 ASIC、OpenAI 发 Jalapeño——所有大模型公司同月做同一件事。AI 竞争从"模型战争"进入"全栈战争"，算力主权是结果，全栈是驱动。

一周内 Meta、DeepSeek、智谱、OpenAI、Anthropic 集体布局自研芯片。这不是"摆脱供应商"，是"拿回命脉"——大模型公司集体"背叛"英伟达，AI 竞争进入算力主权时代。

Bun 用 AI 11 天重写 100 万行代码：写代码只用了 6 天，写博客总结花了一个月。软件工程核心瓶颈从"写得出来"转向"读得懂、接得住"——可维护性的定义正从"人能看懂"变成"AI 能接住"。

GPT-5.6、Muse Spark 1.1、Grok 4.5 同一晚登场，没有一款追求"最聪明"。Meta CTO 承认 Llama 4 管道被透支——AI 竞争从模型军备竞赛转入产品整合战争。

2026年7月10日 AI 早报：零一万物"没了李开复"问答、OpenAI 首席未来学家离职、全球首个具身专属 MoE 视频模型开源等今日亮点 + 7 篇全球重要新闻。