深度专题 FEATURES — 2
GPT-5.6补上30年优化缺口
一份预印本缩小凸优化30年理论差距，GPT-5.6 Sol参与主证明，但“发现”归谁仍待厘清。
Harness也能自我进化了
上海AI Lab让固定模型从失败中改进运行框架，Agent调优对象开始从模型扩到Harness。
速览 BRIEFS — 8
NEWS
Grok Build升级为全栈开发环境
Grok Build接入Grok 4.5与插件市场，开始从写代码走向部署和运维。
NEWS
DeepSeek V4正式版进入发布窗口
多家媒体将 DeepSeek V4 正式版指向 7 月20日前后，但官方确认仍是发布与预告的分界线。
NEWS
Claude Code换上Rust版Bun
Claude Code悄然换用Rust版Bun，Linux启动快约10%，多数用户几乎无感。
NEWS
苹果诉讼瞄准OpenAI硬件计划
苹果以商业秘密诉讼施压OpenAI硬件计划，Jony Ive未成被告尤其耐人寻味。
NEWS
国产GPU直通吞吐提升、延迟减半
国产GPU绕过CPU直连国产网卡，实测提升小包吞吐并将通信延迟近乎减半。
NEWS
Moonshot计划半年内启动IPO
Kimi K3上线后，Moonshot随即推进香港IPO，模型进展开始转化为资本窗口。
NEWS
腾讯三款具身基座模型落地工业
腾讯用三款具身模型串起机器人“看、想、做”，日化工厂实测作业成功率超95%。
NEWS
20万小时作业视频训练机器人
Riemann-1.0把20万小时人类劳动视频变成动作教材，长程家务成功率提升14.4个百分点。