北大EvoPhys-World、家庭机器人、企业Agent和医疗AI同场升温，说明AI落地正在从生成答案走向真实场景、数据闭环与可验证执行。

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

Mira开放注册、Codex长任务、企业Agent和AI视频工作流同时升温，AI产品竞争正从单次问答转向完整流程入口。

Manus股权回购传闻把AI独角兽推向资本市场考题。企业收入、股权结构、身份验证、模型应用分工与合规能力，正在共同决定AI应用公司的下一阶段竞争。

哈佛博士用 AI 和自动化研发阿尔茨海默候选药，AI 医生 MIRA 与实验协议代码化也在推进，说明医疗和科研 AI 正从单点助手走向低成本流程验证。

Etched获8亿美元融资并准备交付推理芯片，美团LongCat-2.0强调国产算力训练，模型效率、科学AI上云和应用扩散共同说明，AI竞争正在从模型发布走向算力供给、推理成本和产业交付。