Google DeepMind 推出 Gemini Omni 1.2 Flash，支持生成更长视频
Google DeepMind 正在向 Gemini API 和 Gemini 企业版推出 Gemini Omni 1.2 Flash，支持原生视频生成与编辑，片段最长可达 15 秒，而 Omni 1.1 的上限为 10 秒。该公告称，其价格比 Omni 1.1 低 30%，生成 720p 视频的费用为每秒 0.07 美元，并介绍了参考内容遵循能力、对话式编辑、语音和一致性的改进。
模型发布与更新
OpenAI 推出 GPT-6 Cyber，用于授权漏洞研究
OpenAI 推出 GPT-6 Cyber，这是一款用于发现可利用漏洞并制定修复方案的网络安全模型。该公司称，该模型经过训练，会将工作限制在授权范围内。
NVIDIA 为 Cosmos 3 增加四个开放权重检查点，支持交互式仿真
NVIDIA 为 Cosmos 3 模型系列增加了四个开放权重检查点，用于交互式世界仿真和多传感器驾驶场景。这些经后训练的 16B 参数模型涵盖多视角驾驶数据、摄像头和 LiDAR 观测流、从仿真器控制生成视频，以及根据机器人或摄像头动作预测视频。它们采用 OpenMDW1.1，根据其条款允许商业和非商业用途。
The Decoder
腾讯发布 Hy4，新增图像理解和计算机操控能力
腾讯已发布 Hy4，为其语言模型增加了图像理解和软件操控能力；模型权重计划于稍后发布，具体日期未定。腾讯称，Hy4 在金融和研究任务上有所提升；Artificial Analysis 在其 Intelligence Index 上给 Hy4 打出 35 分，并发现它在 AA-Omniscience 测试中有 89% 的时间会编造未知答案。腾讯表示，Hy4 在高阶数学、较长的编程项目和复杂图像分析方面仍落后于领先的商业模型。
产品发布与更新
深入了解 Phonon TTS 及其设备端基准测试
Hugging Face 在开放 Phonon 两周后，对这款面向设备端使用的文本转语音模型进行了评测。文章介绍了它支持的五种语言、许可条款、演示和集成方式，并报告称，在 Hugging Face 的 Open TTS Leaderboard 上，Phonon 的德语和西班牙语可懂度排名第一，在每一种受评语言中均跻身前三。文章还介绍了 ptts 推理框架和 Transformers 实现。
Mistral Studio 新增托管式智能体、工作流和企业应用
Mistral AI 正通过新增托管式智能体和应用，以及工作流、企业上下文、可观测性和评估功能，扩展 Mistral Studio。开发者可以将智能体、工作流和应用连接到企业数据与系统，然后部署在云端、VPC 或本地环境中。此次发布还介绍了事件调查和工作流路由等示例，其中产品运营工作流每周可节省约 35 小时。
Microsoft Research 展示 PDD Kit 如何形式化验证智能体编写的 Web 应用
Microsoft Research 介绍了 PDD Kit，这是一款研究原型，可将经审核的意图转化为 Verus 规格，并据此检查智能体编写的 Rust 代码；对于证明范围之外的行为，则通过测试进行检查。团队以一个约 5,000 行的 Pet Store 应用为例，对登录逻辑进行了形式化验证，并测试数据库查询和密码检查等可信组件。PDD Kit 目前可验证 Rust；文章还说明了其可信假设和局限。
OpenAI 为 ChatGPT、Codex 和 API 推出 Images 2.6
OpenAI 推出 Images 2.6，为 ChatGPT、Codex 和 API 带来更快的图像生成、GIF 创建、更精准的编辑，以及新的 API 控制功能。
vLLM · XvLLM 首日支持百度 ERNIE 5.5 Flash Base
vLLM 宣布首日支持百度 ERNIE 5.5 Flash Base。这是一款开放基础模型，总参数量为 280B，每个 token 激活 14B 参数。文章报告称，在 1-shot 评估中，该模型的 HumanEval+ 得分为 82.3%，LiveCodeBench pass@1 得分为 40.1%；在相同设置下，DeepSeek-V4-Flash-Base 的对应得分为 69.5% 和 31.9%。文章介绍了如何通过百度的 vLLM-ERNIE 插件在 vLLM 0.32.0 上提供服务，并附有模型权重和配方链接。
Cursor · XCursor 新增实时应用构建和链接分享功能
Cursor 表示，用户现在可以构建实时应用并通过链接分享。用户描述所需工具后，Cursor 会构建该工具、设置数据库、运行确定性和智能体式安全检查，并进行部署。
行业
TechCrunch · AI
Axiom Math 使用 AI 智能体对 Stacks Project 进行形式化验证
Axiom Math 表示，该公司已对 Stacks Project 进行了形式化验证。Stacks Project 是一个开放源代码数学参考项目，由 Johan de Jong 于 2005 年发起。该公司的智能体将约 7,654 页内容转换成约 1,600 万行 Lean 代码，并由证明助手逐行检查。Axiom 表示，经过验证的结果为研究人员在代数几何领域开展后续工作奠定了基础，也可能支持由 AI 智能体构建的软件。
研究
The DecoderOpenAI 的 GPT-6 Astra 在安全研究任务上的表现较差
The Decoder 报道称，将相同的编码任务描述为安全研究时，OpenAI 的 GPT-6 Astra 完成了约 10% 的评估标准；在通用 AI 研究的描述下，这一比例为 16%。OpenAI 研究人员将差距归因于训练因素，其中包括一个数据集：移除该数据集后，Astra 上的差距消失了，但同一数据集并未在其他模型中重现这一问题。OpenAI 表示，正在改进评估和监控。
明早 08:00 把这样一份日报发到你邮箱
和上面这份一样：几件值得看的事。免费，点确认信之后才会开始发送，每封信都能一键退订。 看一份往期日报 · 2026-11-05