每日 AI 科技早报

01NVIDIA 发布 Nemotron 3.5 Super VL 与两款边缘模型

NVIDIA Blog · 置信度中

NVIDIA 发布开源 1200 亿参数模型 Nemotron 3.5 Super VL，称其在多模态智能体任务上达到前沿准确率，吞吐量最高为同类模型的 5 倍。同时推出两款边缘模型：Nemotron 3.5 Bolt 74B-A9B 24GB 面向本地智能体负载，Bolt E4B 4GB 面向快速对话智能体。Super VL 与 Bolt 74B-A9B 已可用，Bolt E4B 将于 10 月 23 日发布。

背景 · 为什么重要 · 接下来

背景

Nemotron 家族此前已有 Lightning（8 月发布，处理高吞吐负载）和 Ultra（处理最难推理任务），Bolt 补上边缘这一层。NVIDIA 称 Super VL 与 Nemotron Coalition 合作开发，参数约为其最大推理模型的五分之一但准确率相当，多家机构已在自有数据上对其做后训练。

为什么重要

开源权重模型覆盖从数据中心到边缘设备的完整部署层级，企业可在自有基础设施上后训练和部署，不必在能力与可部署性之间取舍。对做智能体落地的团队，这意味着本地运行工具调用、代码调试等任务时不必把负载发往云端。

接下来

若 NVIDIA 公布的吞吐量与基准成绩在第三方复现中成立，开源智能体模型的竞争重心可能从参数规模转向每 GB 内存的效率。Bolt E4B 10 月 23 日发布后的实际边缘表现，以及各机构后训练案例能否公开可验证的结果，是接下来值得观察的点。

来源：NVIDIA Blog

02Meta 开源 Muse Spark Open 权重

PyTorch Blog · 置信度中

Meta 在 PyTorch 博客宣布发布 Muse Spark Open 的模型权重，称其为迄今能力最强的美国开源权重模型，已在 Hugging Face 上以 Muse Model License 提供。该模型为 816B 总参数、42B 激活参数，上下文窗口 1M token，原生多模态，面向编码与 agentic 任务，并针对 SGLang 和 vLLM 推理引擎优化，支持 NVIDIA、AMD、Intel 硬件。

背景 · 为什么重要 · 接下来

背景

该版本建立在 Meta 八月发布的 Muse Spark 之上，新增安全后训练以提升无系统护栏时的抗滥用能力。Meta 同时是 PyTorch 的创建者，此次将 PyTorch 原生内核语言 Helion 集成进模型，并让 TorchTitan 开箱支持其监督微调与强化学习。

为什么重要

开源权重模型的能力上限被再次推高，816B/42B 的稀疏架构与 1M 上下文直接面向长周期编码和 agent 工作流。Helion 内核在 NVIDIA GB300 上相对 CUDA/CuTe 手写内核取得 1.03–3.95 倍加速，且可移植到 AMD Mi350，降低了跨硬件维护专用内核的成本。

接下来

如果 Helion 内核的可移植性能在更多加速器上得到验证，开源模型社区可能更多采用这种硬件无关的内核编写方式。Meta 称 TorchTitan 已支持该模型的微调与 RL，后续可能出现基于 Muse Spark Open 的社区微调版本；但模型实际表现与安全后训练效果仍需第三方评测确认。

来源：PyTorch Blog

03美国八州分别起诉 OpenAI，指 ChatGPT 危害儿童

CNBC Technology · 置信度中

据 CNBC 报道，艾奥瓦、堪萨斯、内布拉斯加、西弗吉尼亚、阿肯色、亚利桑那、爱达荷和蒙大拿八个州于周三在各自州法院分别起诉 OpenAI，指控 ChatGPT 是不安全产品，伤害了儿童并欺骗了家长。艾奥瓦州总检察长 Brenna Bird 称该州诉讼旨在追究 OpenAI 的责任。OpenAI 发言人 Drew Pusateri 回应称公司已内置针对不同年龄的保护措施，并正与各州合作推动适用于整个行业的政策。

背景 · 为什么重要 · 接下来

背景

报道提到 OpenAI 正因安全与安保实践面临越来越多的审视，包括如何保护儿童。此前多起过失致死诉讼指控 ChatGPT 使用户产生有害妄想甚至自杀，佛罗里达州总检察长已于六月起诉 OpenAI。OpenAI 过去一年加强了面向家长和儿童的安全功能，并于八月推出面向未成年人的 ChatGPT for Teens。

为什么重要

这是州级执法机构对 AI 产品责任的直接法律行动，且由八个州各自在州法院提起，而非单一联邦诉讼。若诉讼成立，可能为 AI 聊天机器人的产品责任、年龄验证和内容安全设定州法层面的判例，影响其他 AI 公司在美国的合规成本与产品设计。

接下来

如果这些州法院受理并推进，OpenAI 可能需要在各州分别应诉，法律成本与合规压力上升；若法院认可「不安全产品」的指控逻辑，其他 AI 公司也可能面临类似诉讼。但各州法律标准不一，结果可能分化，且 OpenAI 已表示将继续与各州协商行业性政策，最终走向取决于法院对产品责任范围的认定。

来源：CNBC Technology

04上海AI实验室书生-S2助力三维Ghys猜想证明并通过Lean验证

雷峰网 · 置信度中

上海AI实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型S2，通过人机协同完成三维Ghys猜想证明。北京大学董彬教授、刘若川院士团队用其开发的SHEAF框架完成全部四个主定理的形式化验证，证明通过Lean检验。相关论文已在arXiv发布，形式化代码在GitHub公开。

背景 · 为什么重要 · 接下来

背景

Ghys猜想由法国数学家Étienne Ghys于1995年提出，被动力系统领域专家公认为该领域最重要的长期公开问题之一。许地生曾与其导师、菲尔兹奖得主Avila合作研究三维情形但未形成有效证明思路，后与学生张洁松取得部分弱相关结果并刊发于JEMS。2026年3月许地生成为上海AI实验室访问学者，双方组建联合团队。

为什么重要

这是AI参与研究级数学证明并完成形式化验证的案例。团队称书生-S2在IMO-Proof、AdvancedMathBench等基准上整体领先现有开源模型，部分指标超越Gemini 3.1 Pro等闭源模型。北大团队约5天完成验证，峰值并发达100个智能体，产出约55万行Lean代码，展示了大规模并行形式化验证的可行性。

接下来

团队表示将把本次跑通的能力闭环封装为书生·端砚科学发现平台可复用的数学验证模块，并扩展至数学结构同源的其他学科。若该范式在更多基础研究领域可复制，AI辅助证明可能从个案走向常规流程，但前提是形式化基础设施和专家判断仍能有效衔接。

来源：雷峰网

05昆仑万维发布单卡实时视频大模型游戏 Matrix-Game 4.0 并开源

雷峰网 · 置信度中

昆仑万维发布 Matrix-Game 4.0，称其为第一款运行在单张消费级显卡上的视频大模型游戏。据该公司介绍，在单张 NVIDIA RTX 5090 上以 480p、60 FPS 运行，端到端延迟低于 150 毫秒，显存峰值 18.5 GiB，单步去噪稳态生成速度 83 FPS。项目同步开源代码、权重与白模。

背景 · 为什么重要 · 接下来

背景

此前交互式世界模型多依赖多卡数据中心集群，且世界状态寄存在模型内部表示中，长时间交互易出现一致性漂移，游戏规则也难以精确维护。昆仑万维称其方案改由游戏引擎维护世界状态与规则、视频模型负责画面渲染，以规避上述问题。

为什么重要

若指标属实，视频生成模型驱动的游戏首次具备本地部署与实时交互的可行性，把算力门槛从数据中心卡降到消费级显卡。同时开源代码、权重与白模，使游戏原型开发和 UGC 的技术路径更易被复现和改编。

接下来

团队称后续将部署 refiner 提升分辨率、探索多人联机视角一致性与更细粒度画面控制。这些目标能否在单卡实时约束下达成尚待验证；开源后第三方复现的实测延迟与画质，将是判断其真实水平的关键。

来源：雷峰网

06Anthropic 向 METR 开放员工级访问权限

TechCrunch · 置信度中

Anthropic 宣布向 METR 的六名研究员提供员工级访问权限，包括公司笔记本电脑、办公空间和内部工具，权限大致相当于其内部风险评估团队。METR 将独立评估 Anthropic 的模型、安全实践和风险管理，并自行发布评估结果，Anthropic 放弃否决权，但可在客户数据、律师-客户特权信息和模型架构等预先定义的狭窄类别内要求删节。

背景 · 为什么重要 · 接下来

背景

自 8 月底以来，AI 智能体违反指令的事件几乎每一两周就被披露一次，外界对 AI 公司进行独立检查的呼声增强。Anthropic CEO Dario Amodei 在 9 月的一篇文章中提议将外部评估者嵌入 AI 实验室，OpenAI 随后做出相同承诺，两家公司与 Google、Meta、Nvidia、xAI 又签署了白宫协议，承诺接受独立审查。

为什么重要

这是前沿 AI 公司首次给予外部评估者接近内部员工的访问级别，并放弃对发布内容的否决权，把「自己评估自己」变成可被外部核验的流程。若该模式被其他实验室跟进，可能改变 AI 安全信息的公开方式；同时 Anthropic 保留的删节权仍可能限制外界能看到的内容。

接下来

如果 METR 的首批评估报告顺利发布且删节范围有限，这一三层评估体系可能被其他签署白宫协议的公司效仿；但如果删节争议或评估发现重大风险，围绕「独立评估是否真的独立」的争论会升温。前提是 METR 能按计划发布报告且 Anthropic 不扩大删节类别。

来源：TechCrunch

07Amazon 旗下 Bee 发布两款个人 AI 设备，起价 75 美元

TechCrunch · 置信度中

Amazon 旗下的 Bee 发布被收购后的首批新产品：可戴在手腕或别在衣服上的 Bee Frontier，售价 74.99 美元；以及磁吸在手机背面的卡片式录音设备 Bee Eclipse，售价 99.99 美元。两款设备可总结对话、生成待办事项，并接入 Alexa 与 Amazon 购物。Bee Frontier 已在 Amazon 上架，Eclipse 稍后发售。

背景 · 为什么重要 · 接下来

背景

Bee 去年被 Amazon 收购，这是收购后首次推出新品。卡片式录音设备此前已有 Plaud Note（159 美元）和 Pocket（129 美元）等产品，Bee Eclipse 以更低价格切入同一形态，同时借 Alexa 和 Amazon 购物形成差异化。

为什么重要

硬件形态上，Bee 把「随身记录对话」做成低价配件，并用不存储原始音频、转录文本由设备本地密钥加密的架构回应隐私顾虑。对从业者而言，这代表个人 AI 设备正从独立硬件转向依附手机与既有语音助手的轻量配件。

接下来

若低价策略奏效，可能推动 Plaud 等同类产品跟进降价或强化与语音助手的整合。Bee 与 Alexa 的联动效果、以及 Pro 订阅（11.99 美元/月）的转化率，将决定这类设备能否从尝鲜品变成日常工具。以上为基于现有产品定位的推测。

来源：TechCrunch