World Labs连发空间智能论文，叠加AI破解水分子结构、NeuroFlow连接视觉与神经信号、AI随身硬件升温，显示AI正在从内容生成走向空间理解、科学发现和现实交互。

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

Stripe 投资 5 亿美元成立非营利组织 Intercept，并把 Anthropic、OpenAI 基金会等机构拉到同一张桌上，目标指向一个听起来很大胆、但商业账本又非常现实的问题：用 AI 辅助研发广谱药物和空气...

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

AI for Science 正从模型演示走向实验室流程，科研智能体和一站式工作台开始重写文献、实验、验证与复盘环节。

OpenAI Astra 被曝在数学开放问题上取得突破，形式化验证、科研 Agent 与企业应用共同说明，AI 竞争正在从单点能力展示走向可验证的复杂任务系统。