Qwen3.8-Max、GPT-5.6 Sol 和 DeepSeek Harness 同台出现，说明 AI 竞争正在从单点模型能力转向开放底座、推理速度和执行闭环。

AI正在进入可验证的生产环节：形式化验证发现深层软件漏洞，量子化学模拟大幅降低计算成本，医疗与工程应用也开始用可复核结果衡量价值。

Claude继续加码长期算力，OpenAI则把免费模型、语音、广告和Codex生态推向更大入口。AI竞争正在从模型榜单转向基础设施、企业交付和真实工作流。

Polsia 用中国开源模型把月度 AI 成本从 120 万美元降至约 10 万美元，开源模型、GPU 生态和调度系统正在改变 AI 应用公司的成本结构。

General Intuition以游戏录像和操作标签训练AI行动规律，叠加浏览器技能、推理系统和具身智能融资，行动智能正在从虚拟环境走向真实任务。

清华特奖获得者顾煜贤加入 DeepSeek，这条消息表面上是一则人才流动，放到当前模型竞争里看，却更像一个信号：大模型公司的胜负正在从“谁先把参数堆大”转向“谁能把数据筛选、知识蒸馏、高效...