Claude内部模型3天证明18年量子猜想，Lean已完成形式化【AI 早报 2026-11-08】

Claude内部模型3天证明18年量子猜想，Lean已完成形式化【AI 早报 2026-11-08】 Anthropic非公开Claude模型用3天证明悬置18年的Aaronson-Ambainis猜...

GPT-6 Cyber 查出 Firefox 81 个高危漏洞【AI 早报 2026-11-07】

GPT-6 Cyber 查出 Firefox 81 个高危漏洞【AI 早报 2026-11-07】 OpenAI 的网络安全专用模型把 Firefox 又筛出 81 个此前未知的高危漏洞；DeepSe...

AI 不是变笨，是上下文在腐烂

Opus 5.5 被骂降智，但多数不是模型退化：上下文过长、被安全分类器换到弱模型、压缩有损。

Gemini Omni 1.2 Flash 登顶视频生成榜：360p 每秒 0.07 美元【AI 早报 2026-11-07】

Gemini Omni 1.2 Flash 登顶视频生成榜：360p 每秒 0.07 美元【AI 早报 2026-11-07】 谷歌把 15 秒原生时长、4K 升频和每分钟 4.2 美元的草稿价一起放...

8 美元换 220 美元的 DeepSeek 额度

OpenDesign Go 上线 DeepSeek V4.1 Flash Eco：每月 220 美元额度，首月 8 美元，之后 10 美元。

漫剧流水线被拆成了 21 份 SKILL.md

21 个题材，每个一份 SKILL.md：一句点子生成企划案、资产库、分集剧本、分镜提示词和发布包。

Claude Code 把登录邮箱写进了每个请求头

一条 1200 分的 issue：Claude Code 把登录邮箱写进 User-Agent 发给网站。官方补了隐私插件，但 README 自己承认它“不是边界”。

GPT-6 Cyber 10 天挖出 Linux 内核 948 个漏洞【AI 早报 2026-11-06】

GPT-6 Cyber 10 天挖出 Linux 内核 948 个漏洞【AI 早报 2026-11-06】 OpenAI 的网络安全模型 GPT-6 Cyber 在 10 天内从 Linux 内核挖出...

OpenRouter 上 454 个模型，只剩 12 个免费

454 个模型里只剩 12 个免费，顺手把还能用的生图、生视频和 skill 也翻了一遍。

GPT-6 Cyber 十天挖出 Linux 内核 948 个漏洞，单个成本 1279 美【AI 早报 2026-11-06】

GPT-6 Cyber 十天挖出 Linux 内核 948 个漏洞，单个成本 1279 美【AI 早报 2026-11-06】 OpenAI 用网络安全模型把 4000 万行 Linux 内核代码扫了...