Claude参与的黎曼猜想研究把已知临界线零点比例推进到67.25%，人类数学家随后简化证明，形式化工具在数小时内完成机器核验。与此同时，三维世界生成、长视频记忆和Agent编程也在把AI推向可验证...

寒武纪正式成为 PyTorch 基金会白金成员，进入理事会和技术咨询委员会。这个席位的意义，不只是一次行业身份升级：一家中国 AI 芯片企业开始直接参与全球主流深度学习框架的规则讨论，并把适配...

OpenAI与MIT让AI自主运行量子计算实验，Astra进入电脑操作，轻量多模态模型与办公Agent则把AI推向可验证执行与结果交付。

Anthropic披露Claude已生成公司约80%的代码，但持续集成任务半年暴涨25%。企业AI的瓶颈正在从写代码转向测试、审查、权限和工程系统承载能力。

ChatGPT进入Word，OceanBase发布面向AI应用和Agent的数据底座，AI正在从独立聊天窗口嵌入办公软件、数据库和真实业务流程。

HiDream V1进入全球视频模型榜单前列，视频AI竞争正从单镜头生成转向叙事、音画同步与可交付内容生产。本文结合MV生成、强化学习规模化和本地小模型进展，分析AI创作工具如何进入真实工作流。