深度专题 FEATURES — 3
选票开始阻挡AI数据中心
美国选民正用公投和选票限制AI数据中心，科技公司的扩张逻辑可能被改写。
Images 2.6：AI开始直接交付动图
Images 2.6进入ChatGPT、Codex和API：不只生图，还把动图、矢量图和精细编辑推向可直接使用。
DeepSeek Harness单日吞下92万亿Token
官方称 DeepSeek Harness 日耗约92万亿Token：Agent工作流正成为新的算力入口。
速览 BRIEFS — 9
NEWS
Gemini Omni 1.2 Flash主打更长视频
Google 推出更便宜的轻量视频模型，单次生成上限延长至15秒。
NEWS
百度开源文心5.5 Flash Base
百度开放文心5.5 Flash基座权重，以较低激活参数挑战同尺寸模型，成绩仍待社区复测。
NEWS
Cosmos 3开放交互式世界模型
英伟达开放四款 Cosmos 3 模型，让机器人与汽车在可操控的虚拟世界里训练和测试。
NEWS
Meta收购多Agent编程公司Conductor
Meta收购多Agent编程创业公司Conductor，争夺焦点转向能分工协作的AI工程团队。
NEWS
Claude接入银行账户做个人财务分析
Claude可读取银行与信用卡数据，帮你盘点支出，也把AI带进更敏感的金融场景。
NEWS
形式化验证给Agent代码加验收线
PDD Kit把需求写成机器可查的合同，为Agent生成代码补上可证明的验收线。
NEWS
RTX Spark加密固件拖慢Linux推理
RTX Spark 笔记本原生 Linux 推理骤降，症结指向无法读取的加密电源固件
NEWS
Axiom用形式化验证清理AI数学垃圾
Axiom称将Stacks Project写成1600万行可核验代码，为数学AI补上“验算底座”
NEWS
Dropbox花3.5亿美元补AI存储底座
Dropbox拟斥资3.5亿美元收购Tigris Data，为AI模型与Agent补上对象存储底座。
