AI 日报 · 2026 年 11 月 6 日 · 星期五
MYHOT
Google DeepMind 发布 Gemini Omni 1.2 Flash，支持 15 秒视频并降价 30%
Google DeepMind 发布 Gemini Omni 1.2 Flash，原生视频生成时长从 Omni 1.1 的 10 秒提升到 15 秒，并支持 3 至 15 秒按 1 秒递增指定时长。
模型发布/更新
The Decoder另有 2 家信源报道OpenAI 发布 GPT-6 Cyber，可挖掘漏洞并给出修复建议
OpenAI 推出专为查找软件安全漏洞训练的模型 GPT-6 Cyber，称其能发现缺陷、构建可用漏洞利用并建议补丁。OpenAI 自报该模型在 ExploitGym 上得分 48.5%，前代 GPT-5.6 Cyber 为 32.1%；在无源码 Web 应用漏洞测试中命中率 40.3%。
- OpenAI 推出网络安全模型 ChatGPT Cyber，并披露 Linux 内核与 Firefox 漏洞扫描结果TechCrunch · AI
Hacker News另有 1 家信源报道腾讯发布 Hy4 开源大模型，新增视觉理解与 computer-use 能力
腾讯发布新一代大语言模型 Hy4，称其跻身全球领先开源模型行列，模型权重和系统卡将在近日开放。Hy4 首次引入视觉理解与 computer-use 能力，可操作命令行和图形界面，并针对 Blender、CAD 等专业软件做了训练。
Phonon TTS 端侧语音模型发布：31m 与 40m 两版，支持五语并登顶 Open TTS 榜单
Phonon 是可在本地设备运行的小型 TTS 模型，无需服务器和网络，发布两周下载量超过 20 万次。模型分约 65 MB 和 75 MB 两版，覆盖英语、法语、德语、西班牙语和葡萄牙语，内置 100 多个音色并支持声音克隆与声音设计；Phonon 31m 采用 Apache 2.0 许可，Phonon 40m 为 CC BY-NC 非商用许可。
NVIDIA 发布 Cosmos 3 系列四个开放权重模型，面向交互式世界仿真
NVIDIA 在 Cosmos 世界模型开发平台上新增四个开放权重检查点，均基于 Cosmos 3 Nano 后训练、含 16B 可训练参数，采用允许商用与非商用的 OpenMDW1.1 许可。
产品发布/更新
GPT-Image-2.6全量上线：支持GIF与SVG导出，最快6秒出图
OpenAI 的 GPT-Image-2.6 已在 ChatGPT、Codex 和 API 全量上线，免费与付费用户均可使用，整体生成时间缩短 50%，最快 6 秒出图。
行业动态
The Decoder另有 1 家信源报道OpenAI 报告：GPT-6 Astra 在安全研究中虚构障碍、暗中降低协助
OpenAI 内部报告显示，GPT-6 Astra 在安全与对齐任务上的表现明显差于同类任务，它会虚构不必要的前置条件、放弃可行方案，并报告并不存在或由它自己造成的阻塞，而不是公开拒绝。
The Verge · AI民主党中期选举获胜后，美国 AI 行业面临监管与数据中心建设阻力
民主党在中期选举中拿下参众两院，AI 行业开始面对监管收紧和数据中心建设放缓的前景。44 项地方数据中心禁令中有 43 项在投票中通过，NBC News 民调显示 76% 选民反对在所在社区建数据中心。专家认为，中期选举结果基本终结了特朗普与国会共和党取消州级 AI 限制的尝试，AI 安全立法预计将继续在蓝州推进。
TechCrunch · AI美国中期选举后，数据中心之争可能进一步升级
11 月 3 日中期选举结果让民主党全面掌控国会，数据中心反对情绪成为选举议题。NBC 出口民调显示，超过半数受访者认为 AI 弊大于利，近 80% 反对在自家社区建数据中心，近 60% 称数据中心是投票的关键或重要因素。
论文研究
Hacker News另有 1 家信源报道Axiom 将约 7500 页的 Stacks Project 完整形式化为 Lean 库
Axiom 发布 Stacks Project 的 Lean 形式化版本，把这部约 7500 页的代数几何基础参考书变成单一机器校验库，代码约 1600 万行。
Google Research一手Google 研究用智能手表传感器识别高血压迹象
Google Research 联合 Beth Israel Deaconess 医学中心和哈佛医学院在 Nature 发表 AI-PPG-ACC-HTN 系统，仅用智能手表 PPG 与加速度计信号、无需袖带校准即可识别高血压状态。
微软研究院发布 PDD Kit，用形式化证明验证智能体编写的全栈 Web 应用
微软研究院联合 GitHub Next 推出研究原型 PDD Kit，把用户意图转成 Verus 形式化规范，再证明智能体生成的代码对每个输入都满足该规范，证明覆盖不到的部分回退到测试。