DeepSeek V4-Flash参与形式化数学证明，低成本智能体系统把AI科研、代码复现和机器人落地推向可验证交付。

从美团LongCat负责人将离职，到AI设计工作台、触觉数据、模型中转站和长程Agent，AI竞争正在从发布热度转向业务落地、数据治理与工程交付。

τ0-WM开源具身世界模型发布，叠加AI微短剧政策、滑雪穿戴硬件和本地生活Agent，AI正在从聊天框走向机器人、内容生产、线下经营和随身设备。

WAIC后具身智能竞争从单机演示转向通用大脑、4D世界模型、导航纠偏和算力底座，机器人产业化开始进入更重的系统工程阶段。

宇树科技IPO过会，VAST世界模型、端侧AI PC和AI4S融资共同说明，AI竞争正从模型能力走向机器人本体、世界模型、端侧算力和硬件交付。

光象科技Phi-Bot X1进入真实工厂场景，叠加大晓机器Kairos、OriginFlow数据采集、Jiuwen Symbiosis和AI汽车等新进展，具身智能竞争正在从演示视频走向产线交付、物理数据和稳定执行。