LLaDA 2.2、SearchOS、开源模型成本案例和世界模型进展同时出现，AI Agent 竞争正在从单次生成转向持续修正、系统调度和真实场景闭环。

Claude完成大规模Lean形式化证明，GPT-6在开放数学问题基准中提交机器可验证结果，AI科学正在从生成答案转向交付证据链。

Anthropic 与亚马逊锁定大规模 AWS 算力，SubQ 长上下文、Gemma 推理提速和企业部署同步升温，AI竞争正从模型榜单转向算力、效率和系统交付。

三值大模型、AI耳机、XR眼镜和真实办公Agent评测同时出现，说明AI竞争正在从云端模型扩展到端侧设备、硬件入口和工程化落地。

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

端侧模型开始讲效率 Om AI 联汇公布 VLX-Seek 1.5，把这波 AI 模型竞争的一个新方向摆到了台面上：模型不只是要在云端更强，也要在更小的设备上更能干活。它强调端侧原生、流式多模态和物理世界...