跳到正文
2026 年 11 月 6 日 · 星期五每天 08:00 出刊

AI 日报 · 2026 年 11 月 6 日 · 星期五

MYHOT

第 45 期062026 年 11 月星期五
12件大事8个来源4件一手发布约 5 分钟读完
头条

OpenAI 用未发布安全模型在 Linux 内核挖出 948 个漏洞

OpenAI 用一个尚未发布的网络安全模型搭建 AI Agent 流水线,在 Linux 内核中确认 948 个独立的本地提权漏洞,总花费 120 万美元,平均每个漏洞 1279 美元。同日 OpenAI 还发布网络安全模型 GPT-6 Cyber,称其能发现漏洞、构建可用利用并给出补丁建议。

今日研究信号
交叉发现 · 三轴上新
01

内容创作

Hugging Face Blog一手

Phonon TTS 发布复盘:端侧语音模型登顶榜单

Phonon 是可在本地设备离线运行的小型 TTS 模型,发布两周下载量超过 20 万次。模型分约 65 MB 和 75 MB 两个尺寸,覆盖英语、法语、德语、西班牙语和葡萄牙语,内置 100 多种音色,其中 Phonon 31m 以 Apache 2.0 开源、可商用,Phonon 40m 为 CC BY-NC 非商用许可。

02

自动化

03

研究与应用

Hacker News · 首页

Axiom 将约 7500 页的 Stacks Project 完整形式化为 Lean 库

Axiom 发布 Stacks Project 的 Lean 形式化版本,把这部约 7500 页的代数几何开源参考书变成单一机器校验库,代码约 1600 万行。该库保留原书永久标签,可把每条 Lean 声明映射回原文,研究者与 AI 智能体可直接导入定义和定理。项目由分层协作的 AI 智能体并行完成翻译与证明,过程中发现数十条需要补充假设或修正的陈述,并构造反例。

04

其它

The Decoder

OpenAI 发布 GPT-6 Cyber,可挖掘漏洞并给出修复建议

OpenAI 推出专为软件安全漏洞挖掘训练的模型 GPT-6 Cyber,称其能发现漏洞、构建可用利用并给出补丁建议。OpenAI 自报该模型在 ExploitGym 上得分 48.5%,前代 GPT-5.6 Cyber 为 32.1%;在无源码 Web 应用漏洞测试中命中率 40.3%。

Hacker News · 首页

腾讯发布开源大模型 Hy4,新增视觉理解与电脑操作能力

腾讯发布新一代大语言模型 Hy4,称其跻身全球领先开源模型行列,模型权重和系统卡将在未来几天发布。Hy4 首次引入视觉理解与电脑操作能力,在指令遵循、长上下文理解和长程智能体任务上有明显提升,并针对 Blender、CAD 等专业软件做了专门训练。

The Verge · AI

美国中期选举后 AI 行业面临监管与数据中心建设阻力

美国中期选举民主党拿下参众两院后,AI 行业开始面对更严格的监管前景和数据中心建设放缓。44 项地方数据中心禁令中有 43 项在投票中通过,得州候任州长 Gina Hinojosa 表示将暂停所有数据中心审批直至立法保护居民。NBC News 当日民调显示 76% 选民反对在所在社区建设数据中心,专家认为中期选举结果已终结特朗普与国会共和党取消州级 AI 限制的尝试。

(本期完)

MyHOT 日报由编辑系统根据公开来源自动编辑,每条均附原文 · 日报合订本