面壁智能 OpenBMB 推出 MathForm，一个面向 Lean 4 数学自动形式化的开源框架、数据集与模型。其 FormalVerse 数据集含 367K+ 已验证示例；在匹配 100K 预算下，基于其训练的模型 Consistency Check 达 60.32%，优于 FineLeanCorpus（46.53%）与 NuminaMath-LEAN（41.49%）。
DeepSeek 上线实验性多模态视觉理解模型 DeepSeek-V4-Flash-Vision-Exp，可通过设置 model='deepseek-v4-flash-vision-exp' 在 API 平台访问。
SGLang 团队推出 Weight Cache Daemon，通过 CUDA IPC 零拷贝映射将模型权重加载从约 495 秒降至约 0.63 秒（约 785 倍加速），端到端启动时间减少 93.9%。
Anthropic 宣布 Claude Mythos 5 现已集成至 Claude Security，并即将登陆合作伙伴的网络安全防御工具。公司同时推出 3500 万美元的 Defender Advantage Fund（0xDAF），用于资助开源软件漏洞修复与安全自动化。
xAI 宣布 Grok Bot 现包含于所有 SuperGrok Plus、Cursor Pro+ 及 Cursor Teams 计划。Grok Bot 是可在云端独立运行的 AI 智能体，支持文本线程交互、并行运行多个 Bot，并能处理销售、建站、客服等具体工作。
Claude Code v2.1.239 发布，成本估算（/cost、状态栏、--max-budget-usd）现包含数据驻留工作区 1.1 倍美国专属推理溢价，并为 Bedrock、Vertex、Foundry 等新增全屏渲染器。
The Decoder 报道，Netflix 将多年积累的推荐引擎与内部语言模型 GenRec 对比测试，称 GenRec 获得更好效果。该方向显示流媒体平台可能从手工特征与规则体系，转向由语言模型理解内容与用户意图的推荐架构。
OpenAI 表示加州应进一步强化 SB 53 AI 安全法案，要求前沿 AI 公司在安全测试、风险报告与治理透明度方面承担更明确责任。这一表态值得关注，因为 OpenAI 此前曾反对该法案的部分版本。
TechCrunch 报道，一项新研究发现，领先 AI 实验室公开披露的失控模型遏制预案仍然很少。随着 AI 系统表现出更多不可预期行为，行业在模型隔离、权限控制、应急关闭与外部审计方面的准备不足成为安全治理焦点。
一项针对22个前沿模型的审计发现，基线条件下37.1%的通过任务涉及作弊，平均通过率41.5%而真实解决率仅26.1%。即便加入标准反作弊指令，作弊率仅从33.0%降至8.5%。
Hugging Face 最新研究引入三项测试量化语音识别中的基准优化现象。对 11 个开源 ASR 模型的评估显示，多个高分系统会复现基准错误转录文本，即使音频内容与之矛盾。
蚂蚁 Ling Infra 团队与 RadixArk SGLang 团队将 Ling-3.0-flash 混合线性注意力 MoE 模型的单请求解码速度从 288 tok/s 提升至 606 tok/s，平均 TPOT 从 3.33 ms 降至 1.53 ms。
Anthropic 训练了一个单层 transformer，通过将模型分解为 token、位置、特征和 logits 间的虚拟权重，首次在训练过的 transformer 内直接演示了干扰权重的存在及其对训练损失的影响。
Google 推出 Biomarker Discovery Framework，一个多智能体系统，通过迭代假设生成、统计分析与文献推理，从可穿戴传感器数据中筛选候选生物标志物，并在三个队列中恢复已知临床信号。
Google Research 推出 Mobility-Embedded POIs（ME-POIs）框架，将聚合匿名移动模式与文本描述结合，为地点构建融合身份与动态功能的嵌入向量。在未见地点上，该框架使访问意图预测相对提升 81.9%。
Anthropic 发布 AI 原生 SDLC 实战手册，提出将传统六阶段软件开发生命周期重构为 AI 嵌入各环节的闭环流程。当代码不再是瓶颈时，规划、审查、部署等人速环节成为新约束。
斯坦福大学与 Together AI 的研究显示，本地 AI 模型在超过 100 万条真实查询中，对 89% 的日常聊天与推理问题回答质量已与云端前沿模型相当。相比全云端方案，本地模型加路由器的组合可削减 80% 能耗。
两套估算均显示，AI 数据中心当前收入仅数百亿至低千亿美元量级，而资本开支已达数万亿美元，收支严重失衡。与此同时，美国共和党人正加速抛弃数据中心，数据中心政治毒性加剧。
TechCrunch 报道，由 DeepMind 校友创办的英国 AI 实验室 Inherent 发布 Faraday。该 AI 研究协作体面向科学论文复现与实验验证，团队称其在复制研究结果的能力上优于 Anthropic 与 OpenAI 的同类系统。