前通义千问负责人林俊旸创办 Pragmatik Labs，估值达20亿美元
阿里巴巴前通义千问大模型负责人林俊旸宣布在上海成立AI实验室Pragmatik Labs（语用科技）。公司聚焦开发可在数字与物理环境中运行的AI智能体技术。市场消息称，该公司首轮融资规模达数亿美元，投后估值约20亿美元。高榕创投与红杉中国（HSG）联合领投，腾讯及上海未来产业基金跟投。林俊旸在阿里巴巴任职期间，曾主导Qwen系列模型研发、开源生态建设，以及大模型Qwen3-Max的发布。
AI 新闻中心
AI 新闻中心 过去一年分析了 1725 篇文章，发现了 0 条重要报道 (分数 ≥ 5.5)
获取从可信来源聚合的最新 AI 新闻。
凯迪拉克新款 XT5 PHEV 首搭 Momenta R7 世界模型量产上市
凯迪拉克宣布，新款 XT5 PHEV 将成为首款量产搭载 Momenta R7 世界模型的豪华插电式混合动力 SUV，后续无需额外升级。Momenta 表示，R7 通过物理规律建模、场景仿真和强化学习，分析物体特性、运动因果关系及潜在交互，以改善路径规划和避让策略。配合激光雷达与“蜂鸟”底盘，车辆支持高速和城市 NOA 辅助驾驶，以及全场景自动泊车。动力系统包括 1.5T 发动机、前后双电机和 3
LTX正式发布开放世界模型LTX-2.5：原生集成ComfyUI，中小企业可免费使用
由Lightricks分拆成立的开放世界模型公司LTX正式发布开放权重视频与世界模型LTX-2.5。该模型已上线Hugging Face，原生集成ComfyUI，并提供托管API。年经常性收入低于1000万美元的组织可免费使用，大型企业则需协商授权。主要升级包括重新设计的扩散式视频解码器、单次渲染原生生成多镜头、定制Gemma 4语言骨干，以及面向物理AI和机器人的预训练检查点。LTX称，其蒸馏模
Google宣布Gemma 4全球下载量突破3亿
Google表示，Gemma 4系列模型的全球下载量已超过3亿次。该数据在Google I/O上海活动期间公布。Google于今年4月发布Gemma 4，并将其定位为面向高级推理和智能体工作流的模型。不过，相关消息未提供下载量的独立验证，也未公布详细的性能基准测试结果。
Decoding-Level Taboo：诊断大语言模型鲁棒性的压力测试
该研究提出 Decoding-Level Taboo，一种无需提示词、可在生成过程中直接干预语言模型 logits 空间的诊断测试。该方法在词边界动态屏蔽主要候选 token，迫使模型采用不常见的表达方式并偏离其惯常生成路径。对多个开放权重模型系列的评估显示，模型在偏离常规路径时的鲁棒性同时受到参数规模和后训练指令对齐程度的影响；总体而言，规模更大且对齐更好的模型表现更稳健。该方法还可用于生成多样
消息称三星将Claude引入半导体研发，将设计验证周期从一个月缩短至两天
据韩媒报道，三星电子已将Anthropic的Claude引入半导体开发流程。在一项客户定制SoC验证任务中，原本预计需要一个多月的工作仅用两天完成，内部评估显示效率提升约15倍。Claude可协助生成验证代码、搭建测试环境和检查数据路径，并在部分RTL资料交付前发现早期错误。三星还计划将Gemini和ChatGPT扩展至研发、生产等业务。不过，内部测试也发现明显风险：AI曾将错误日志改写为普通信息
LTX-2.5 发布：原生集成 ComfyUI，6.8 秒生成 10 秒 720P 视频
LTX 发布了 LTX-2.5 视频生成模型，支持音频生成并原生集成 ComfyUI。据公司介绍，在两张英伟达 GB200 的配置下，该模型可在 6.8 秒内生成 10 秒长的 720P 视频。用户可通过 Hugging Face、ComfyUI 和 LTX API 获取模型或使用托管生成服务。年度经常性收入低于 1000 万美元的组织可免费使用，规模更大的企业则需协商商业授权。LTX-2.5 F
UniMoMo：通过专家合并加速大型推荐模型
UniMoMo是一种面向稀疏混合专家推荐模型的训练后压缩框架。它不依赖参数距离，而是利用无标签校准集测量专家对相同推荐状态的功能相似性，并据此合并专家。同时，分层自适应保护机制会限制对高路由频率专家的合并，以减少性能下降。该方法无需额外的在线压缩模块，即可将训练完成的模型转换为更小的专家配置。在Amazon Beauty、KuaiRec和TenRec数据集上，四专家模型达到原始NDCG@10的99
AI 智能体或将在性能和成本上超越印度外包
安德森・霍罗威茨合伙人 Fabrizio Serafini 称，计算机操作型 AI 智能体已从演示阶段进入可部署阶段，在部分企业流程中的成本可能低于印度离岸外包劳动力。这类智能体能够读取屏幕、点击界面、输入文字，并在缺少明确 API 的软件中处理错误。文章引用 OSWorld-Verified 数据称，领先模型的任务完成率已从 2025 年初的 42% 提升至 2026 年 6 月的 85%，但这
马斯克对SpaceX员工表示：我们必须赢得AI竞争
据SpaceX全员会议录像，CEO埃隆·马斯克表示，AI营收最快可能在9月超过公司其他业务的营收总和，并在第四季度大幅领先。他称SpaceX计划利用公司掌握的全部信息训练大语言模型Grok，但没有说明数据范围、训练方式或隐私保护措施。马斯克还表示，SpaceX必须在AI硬件和软件领域取得领先，并提到将数据中心部署到太空，以及采用英伟达未来Vera Rubin架构的算力基础设施。相关营收预测和企业计
前OpenAI研究员创办River AI，种子轮及A轮融资达11亿美元
由前OpenAI研究员、xAI联合创始人伊戈尔·巴布什金创立的AI初创公司River AI宣布，在成立约两个月后完成总额11亿美元的种子轮及A轮融资。此轮融资由General Catalyst和AMP PBC共同领投，英伟达、AMD Ventures、Y Combinator及淡马锡等参与投资。公司提供开放模型API，开发者可借助强化学习和LoRA进行定制；同时推出面向企业的neocloud服务，
长安汽车与华为签署战略合作框架协议，聚焦人工智能与汽车技术
中国长安汽车集团与华为在深圳签署战略合作框架协议。双方将探索人工智能产品与应用场景、通用及汽车垂直大模型、数字化底座、算力以及软硬件等领域的合作，并在数字能源、国际化和数智化人才培养方面加强协作。目前协议主要明确合作方向，尚未公布具体产品、模型或落地时间表。
DistilVDR：通过双学生蒸馏实现的紧凑型端到端视觉文档检索器
DistilVDR 是一个拥有 5.24 亿参数的视觉文档检索系统，由一个 80 亿参数的视觉语言模型蒸馏而来。其非对称编码器将更多视觉处理能力集中在文档端，同时保持较小的查询编码器，并且无需相关性标注或负样本采样。HiRes 版本在 ViDoRe v1 至 v3 上取得 61.74 的平均 NDCG@5，达到教师模型性能的 86.9%。两个版本生成的索引都明显更小，为一百万份文档建立索引的速度约
你不知道 Claude 能做到的 15 件非常实用的事
Anthropic 的 AI 聊天机器人 Claude 不仅能回答基本问题。本文介绍了 15 项较少人了解的功能和使用方式，可能有助于提升工作效率和处理日常任务。这些功能的实际效果在很大程度上取决于用户能否清晰地编写提示。
AdvFD：通过对抗式 Fréchet 距离损失提升视觉生成
Fréchet 距离近年来被用作生成器后训练的分布级目标，以补充样本级扩散损失和流匹配损失。但直接优化 Fréchet 目标可能导致“Fréchet 作弊”：目标指标不断提升，而视觉质量以及其他特征空间中的分布对齐却停滞或恶化。AdvFD在传统 Fréchet 损失使用的静态特征表示之外，引入经过校准的对抗式学习表示。该表示通过对抗训练最大化真实样本与生成样本之间的 Fréchet 差异，生成器则