美国战争部与七家顶级科技公司签署AI协议，授权在绝密级网络部署AI模型，涉及SpaceX、OpenAI、Google等。Anthropic因安全限制争议被排除。此举旨在构建“AI优先”战略，防止供应商锁定。

以太坊联合创始人Vitalik Buterin公开其完全本地化、沙箱化的AI工作流，并警告AI代理工具存在安全与隐私隐患，强调钱包和外部消息发送应保留人工确认。

美团LongCat团队开源LongCat-Flash-Prover，这是一款面向Lean4形式化定理证明的5600亿参数MoE模型，在MiniF2F-Test上以72步推理取得97.1%通过率，刷新开源模型表现。

美团LongCat团队开源LongCat-Flash-Prover，这是一款面向Lean4定理证明的5600亿参数MoE模型，在MiniF2F-Test上以72步推理实现97.1%通过率，并在多项基准中刷新开源模型表现。

美国机构CAISI称DeepSeek V4 Pro较美国前沿模型落后约8个月，但其评估方法因采用不可公开复核的数据集而遭质疑。公开榜单显示，中美顶级AI性能差距正在迅速收窄。

麦格理研报称，智谱发布 GLM-5.2，并面向所有 GLM Coding Plan 订阅用户推出。该行维持智谱跑赢大市评级，12 个月目标价 1221.4 港元不变。

Nansen 首席执行官 Alex Svanevik 表示，开源权重模型在不少任务中具备成本优势，未来将给 Anthropic 与 OpenAI 带来更大竞争压力。若政府限制前沿模型能力或部署，依赖高端模型盈利的商业路径也将面临重新评估。

Nansen CEO Alex Svanevik 表示，开源权重模型未来可能对 Anthropic 与 OpenAI 形成更大竞争压力。其观点集中在成本与性能取舍：许多任务并不需要“150 IQ 级别”的前沿模型，成本低约 90%、能力约 115 IQ 的模型已足够使用。