AI 周报 · 2026 年第 44 周 · 10.26 — 11.01
MYHOT
本周模型发布密集，Google DeepMind 推出 Gemini 4 Carbon 并在智能指数上排名第一，OpenAI 的 GPT-6.1 Terra 则以价格减半主打电脑操作。行业层面，Anthropic 提交 S-1 拟在纳斯达克上市，披露上半年营收 163 亿美元，同时 OpenAI 与 Anthropic 均声称推翻指数时间假设。安全事件同样突出，Binance 热钱包被盗至少 55 亿美元，ChatGPT 公开分享链接可接管账号的漏洞已被修复。
Anthropic 向 SEC 提交 S-1 招股书，披露创纪录收入与高额算力承诺
Anthropic 向 SEC 公开提交 S-1 招股书，计划以代码 ANT 在纳斯达克上市，由高盛和摩根士丹利牵头承销。2026 年上半年营收 163 亿美元，超过 2025 全年 46 亿美元的三倍；Q2 2026 营收 116 亿美元，同比增长 1368%，并首次实现 9.74 亿美元 GAAP 营业利润。
The Decoder原文 模型发布/更新
本版导读本周新模型覆盖前沿通用、多模态、世界模型与语音转写多个方向，开放权重与量化版本同步跟进。
Google DeepMind一手10.29Google DeepMind 发布 Gemini 4 Carbon 前沿模型
Google DeepMind 发布 Gemini 4 Carbon，称其在网络安全与长程任务上能力最强，在 Artificial Analysis Intelligence Index v5.0 上以 59 分排名第一。
Mistral Large 4（Le Chonk）在 Hugging Face 发布
Mistral 发布多模态 MoE 模型 Mistral Large 4（Le Chonk），总参数约 1T、激活 49B，上下文窗口 1M tokens，提供 FP8 与 NVFP4 两个官方版本，另有 Unsloth 和 llama.cpp 团队制作的 GGUF。
The Decoder10.27OpenAI 发布 GPT-6.1 Terra，API 价格减半且逼近更大模型
OpenAI 发布 GPT-6.1 Terra，API 输入每百万 token 1 美元、输出 5 美元，均为 GPT-5.6 Terra 的一半，缓存输入降至每百万 token 0.05 美元。
Ars Technica · AI10.28DeepMind 发布 Genie 4 世界模型，称物理与人物模拟更真实
Google DeepMind 公布新一代世界模型 Genie 4，称其在几乎各方面都优于 Genie 3，模拟的物理效果和人物更真实，部分改进来自 Google 更新后的 Gemini 模型。DeepMind 表示世界模型是通往 AGI 的关键环节，可用于为实体机器人构建训练环境或加速创意原型设计；文章提到，付费用户可能不久后就能用上 Genie 4。
OpenAI 发布 GPT-6.1 Terra：价格减半，主打电脑操作能力
OpenAI 发布 GPT-6.1 Terra，标准 API 输入 1 美元/百万 Token、缓存输入 0.05 美元/百万 Token、输出 5 美元/百万 Token，价格较 GPT-5.6 Terra 减半。
NVIDIA 发布 Nemotron 3.5 Transcribe 与 Granary v2 数据管线
NVIDIA 发布开放权重模型 Nemotron 3.5 Transcribe，把转写、说话人分离、翻译和音频问答合入同一 checkpoint，支持 40 种语言转写、31 种语言与英语互译、13 种语言说话人分离，可处理最长 1 小时录音并标注最多 8 位说话人。
行业动态
本版导读除上市与数学发现外，本周还出现扩展市场后门版本、内核高危漏洞和 AI 智能体驱动的漏洞潮等安全议题。
The Verge · AI10.27OpenAI 公布数学、计算机科学与物理三项发现，并引入外部专家把关
OpenAI 公布数学、计算机科学和物理三项“重大”发现，其中计算机科学方面称证明指数时间假设（ETH）不成立，并已在 GitHub 发布 AI 输出与 Lean 证明。此次由外部专家担任“shepherd”引导结果，物理部分尚未完整公开，将由 David Gross 等人牵头审查。OpenAI 同时发布公开信，就 AI 生成成果的早期访问、署名与验证规范征求社区意见。
Hacker News10.31Cursor 市场中的 Claude Code 2.1.313 后门版本解析
Cursor 称 Anthropic.claude-code 2.1.313 的篡改版本在其扩展市场上架约 11 小时，影响至多 5000 名用户，该版本并非 Anthropic 构建。
Hacker News11.01Linux IPv4 TCP 握手释放后使用漏洞 CVE-2026-98432 获修复，CVSS 9.8
Linux 稳定内核在 10 月 11 日和 15 日修复了 IPv4 TCP 握手阶段的释放后使用漏洞 CVE-2026-98432，内核 CNA 评为 CVSS 3.1 9.8 严重级，影响 Linux 4.4 起的版本。
Hacker News10.28OpenAI 与 Anthropic 相继发布数学证明，令科学家震惊
OpenAI 公布三项涉及数学、物理和计算机科学的证明，包括 Kakeya 猜想在所有维度的证明、Yang-Mills 理论“存在性”部分，以及给出比指数时间略快的 3-SAT 算法从而反驳指数时间假设（ETH）。
Hacker News10.29OpenAI 与 Anthropic 称推翻 ETH 假设，理论计算机科学研究受冲击
OpenAI 和 Anthropic 本周均声称推翻了指数时间假设（ETH），两家公司已在 GitHub 上以自然语言和可机器校验的 Lean 格式公开证明。
Hacker News10.30Blockaid 复盘 Binance 热钱包被盗 55 亿美元事件
Blockaid 称 10 月 29 日 Binance 热钱包被盗至少 55 亿美元，攻击者通过一次 EIP-7702 授权把 Binance 14 钱包委托给其部署的 sweeper 合约，单笔转出约 25 亿美元，随后 12 分钟内 4 条链上 10 个热钱包向同一地址转出资金。
Latent Space10.27Anthropic 提交 S-1 拟登陆纳斯达克，H1 2026 营收 163 亿美元、Q2 运营利润 9.74 亿美元
Anthropic 公开提交 S-1，计划以代码 ANT 在纳斯达克上市，2026 年上半年营收 163 亿美元、Q2 营收 116 亿美元同比增长 1368%，Q2 运营利润 9.74 亿美元。
Hacker News10.26Noah Pinion：AI 智能体掀起漏洞潮，互联网面临断网风险
Noah Pinion 在文章中称，2026 年 10 月一批 AI 智能体驱动的攻击涌入互联网，AI 快速挖出 PHP 等老旧代码中的漏洞，NSA 建议使用 PHP 的组织准备更新，无法立即更新则先下线系统。
Hacker News10.31Parameter 团队发现 ChatGPT 公开分享链接可接管账号，OpenAI 已修复并定性 P1
Parameter 团队在 2026 年 10 月发现，攻击者只需发布一个普通 ChatGPT 公开分享链接，受害者打开后其中的 JavaScript 就能以 chatgpt.com 身份运行，枚举会话列表、读取从未分享过的私聊内容并外传数据。
论文研究
本版导读形式化验证与 AI 自主科研成为主线，既有有限单群分类定理在 Lean 中完成，也有模型推翻 ETH 的论文与开源模型攻破浏览器的实验。
Hacker News10.27Axiom 在 Lean 中形式化有限单群分类定理
Axiom Math 宣布在 Lean 中完成有限单群分类定理（CFSG）的首个完整计算机可验证证明，该定理原证明约 15000 页、由约 100 位数学家的 500 多篇文章构成。
Hacker News10.29Claude 推翻 ETH：Anthropic 的 3-SAT 论文解读
Anthropic 于 2026 年 10 月 27 日发布论文，称 Claude 推翻了指数时间假设（ETH），给出在 2^o(n) 时间内求解 3-SAT 的确定性算法。
Hacker News10.27Anthropic 论文称 Claude 模型推翻 ETH 并完成 Lean 4 形式化
Anthropic 发布论文，称用一个确定性算法在 2^o(n) 时间内求解 3-SAT，从而推翻指数时间假设 ETH，该算法还能求解更难的 #3-SAT 并给出满足赋值计数。
Hacker News10.30Epoch AI 研究：开源权重模型 GLM 5.3 可利用补丁窗口攻破 Firefox
Epoch AI 的实验显示，Z.ai 于 8 月发布的开源权重模型 GLM 5.3 能利用已公开但尚未推送给用户的安全修复，自主构建网页攻击 9 月 17 日至 10 月 26 日间发布的 6 个 Firefox 版本，用户访问该网页即可被读取本地文件。