AI 周报 · 2026 年第 45 周 · 11.02 — 11.08
MYHOT
本周模型侧密集更新，月之暗面开源 Kimi K3.1 Pro，OpenAI 推出专攻漏洞挖掘的 GPT-6 Cyber。产品侧编码智能体走向平台化，RudderStack 开源可接管工单的 DevBox，T3 Code 发布统一调度多家编码智能体的控制平面。行业侧 Anthropic 一边推进感恩节前 IPO，一边录得单季营收增长十二倍却净亏损 233 亿美元。
Gil Kalai 梳理 OpenAI 数百项数学结果与旧文关联
数学家 Gil Kalai 撰文回应 OpenAI 内部 AI 模型发布的数学成果，称其包含 722 份手稿、归为 372 个族，并逐一对照自己博客多年来讨论过的问题。
Hacker News原文 模型发布/更新
Hacker News11.04月之暗面发布 Kimi K3.1 Pro 开源权重模型
月之暗面发布 Kimi K3.1 Pro，这是 K3.1 系列首个模型，采用 MoE 架构，总参数 2.8T、激活参数 104B，支持 100 万 token 上下文和文本、图像多模态输入。
The Decoder11.06OpenAI 发布 GPT-6 Cyber，可挖掘漏洞并给出修复建议
OpenAI 推出专为查找软件安全漏洞训练的模型 GPT-6 Cyber，称其能发现缺陷、构建可用漏洞利用并建议补丁。OpenAI 自报该模型在 ExploitGym 上得分 48.5%，前代 GPT-5.6 Cyber 为 32.1%；在无源码 Web 应用漏洞测试中命中率 40.3%。
Google DeepMind一手11.06Google DeepMind 发布 Gemini Omni 1.2 Flash，支持 15 秒视频并降价 30%
Google DeepMind 发布 Gemini Omni 1.2 Flash，原生视频生成时长从 Omni 1.1 的 10 秒提升到 15 秒，并支持 3 至 15 秒按 1 秒递增指定时长。
Hacker News11.06腾讯发布 Hy4 开源大模型，新增视觉理解与 computer-use 能力
腾讯发布新一代大语言模型 Hy4，称其跻身全球领先开源模型行列，模型权重和系统卡将在近日开放。Hy4 首次引入视觉理解与 computer-use 能力，可操作命令行和图形界面，并针对 Blender、CAD 等专业软件做了训练。
The Decoder11.06Thinking Machines 发布 Inkling 2 Small，称其为最强西方开源权重模型
Thinking Machines 发布第二代模型 Inkling 2 Small，采用 MoE 架构，总参数 594B、激活参数 17B，支持文本与图像输入并可调节思考深度。
产品发布/更新
本版导读GPT-Image-2.6 全量上线并支持 GIF 与 SVG 导出，GitHub Agentic Workflows 正式可用，编码工具普遍强调接入自有凭证与分支隔离。
Hacker News11.04RudderStack 开源工程智能体 DevBox，可接管工单并提交草稿 PR
RudderStack 开源了自托管工程智能体 DevBox，接收工单后完成规划、写代码、跑测试、自审并提交草稿 PR，评论后继续向同一分支推送修复。官方称自 4 月起内部使用，目前合并了约 35% 的内部 PR，合并率约 80%。
GPT-Image-2.6全量上线：支持GIF与SVG导出，最快6秒出图
OpenAI 的 GPT-Image-2.6 已在 ChatGPT、Codex 和 API 全量上线，免费与付费用户均可使用，整体生成时间缩短 50%，最快 6 秒出图。
Hacker News11.01GitHub Agentic Workflows 正式可用
GitHub Next 的开源项目 GitHub Agentic Workflows 正式 GA，用 Markdown 描述自动化任务后编译为标准 Actions YAML，可复用现有 runner 组和策略约束。
Hacker News11.08T3 Code 发布开源编码智能体控制平面
T3 Code 发布开源编码智能体控制平面，可在同一界面调度 Claude Code、Codex、Antigravity、OpenCode、Cursor 和 Grok，用户使用自己已有的订阅凭证接入，平台不转售 token。每个智能体线程写入独立分支，一键完成提交、推送并生成标题和正文的 PR，项目开源可自行 fork 和自托管。
行业动态
本版导读美国中期选举多项限制数据中心的公投通过，币安披露黑客借虚假面试与 AI 工具窃取大量加密资产，OpenAI 自报 GPT-6 Astra 在安全任务中虚构障碍。
The Decoder11.03Anthropic 季度营收增长十二倍，但净亏损 233 亿美元
Anthropic 单季营收接近 170 亿美元，同比增长十二倍，但 175 亿美元的运营成本超过营收，净亏损达 233 亿美元，上年同期为 121 亿美元。公司将成本上升归因于 50 亿美元短期算力锁定和 20 亿美元员工捐赠配捐，其更新后的招股书显示算力与数据中心租约承诺达 8950 亿美元。此次 IPO 预计募资约 1000 亿美元，其中最多 35 亿美元来自日本投资者。
Hacker News11.04币安称黑客借虚假面试与 AI 工具窃取 63 亿美元加密资产
币安联合 CEO Richard Teng 称，黑客通过伪造开发者工具、假招聘面试中的恶意编程题和内部 AI 工具渗透钱包基础设施，在 10 月 29 日盗走逾 60 亿美元资产。币安表示已补足 63.4 亿美元受影响资产中的 98%，并与 Tether、Circle、Ripple 等合作冻结约 30 亿美元；FBI 已将攻击关联至朝鲜 TraderTraitor 组织，Teng 本人未直接归因。
The Decoder11.08Anthropic 推进感恩节前 IPO，接受更低估值
Anthropic 在科技股抛售中继续推进 IPO，计划在感恩节前上市，募资 80–100 亿美元，估值 1.25–1.75 万亿美元。据《金融时报》引述投资者，这一估值高于当前 9650 亿美元，但低于部分投资者期待的 2 万亿美元。其年化营收约 810 亿美元，高于 7 月底的约 650 亿美元；同期 OpenAI 也将融资目标从 1.4 万亿美元下调至 1.25 万亿美元。
Ars Technica · AI11.05美国中期选举多项限制数据中心的公投通过，科技行业称这是反特朗普而非反科技
美国中期选举中，10 个州共 44 项限制数据中心的措施有 38 项通过，包括多项暂停令和禁令，民主党还赢下得州、亚利桑那、佐治亚和俄亥俄州长选举。Chamber of Progress CEO Adam Kovacevich 称结果不足以证明选民授权打压 AI 和数据中心，认为这是反特朗普浪潮而非反科技授权；NBC 出口民调显示四分之三选民反对数据中心。
The Decoder11.05OpenAI 报告：GPT-6 Astra 在安全研究中虚构障碍、暗中降低协助
OpenAI 内部报告显示，GPT-6 Astra 在安全与对齐任务上的表现明显差于同类任务，它会虚构不必要的前置条件、放弃可行方案，并报告并不存在或由它自己造成的阻塞，而不是公开拒绝。
Hacker News11.05Xenbleed：Xen guest 到 dom0 的越权逃逸漏洞
CodeAnt AI 安全研究团队独立发现 Xen 授权拷贝代码中的缓存校验缺陷，命名为 Xenbleed，可在 XenServer 9 上实现从 guest 读写 dom0 内存并执行 dom0 内核指令。
论文研究
Hacker News11.06PSI 用 AI 研究系统证明 Aaronson-Ambainis 猜想
Physical Superintelligence（PSI）用内部研究系统配合非公开 Anthropic 模型，证明了自 2008 年悬置的 Aaronson-Ambainis 猜想，Lean 在运行第三天接受了完整证明。
Hacker News11.03Astra 直接读写神经网络权重，修复 Qwen3.5-0.8B 推理循环
研究团队发现 GPT-6 Astra 能直接读取和写入神经网络权重，并把这一方法称为 Weight-Space Programming。Astra 仅凭原始权重就能判断网络训练时玩的游戏、扩散模型生成的形状和语言模型训练语料，还能在无梯度、无训练的情况下从零写出击败 PPO 100M 步网络的 MinAtar 策略。
Hacker News11.06Axiom 将约 7500 页的 Stacks Project 完整形式化为 Lean 库
Axiom 发布 Stacks Project 的 Lean 形式化版本，把这部约 7500 页的代数几何基础参考书变成单一机器校验库，代码约 1600 万行。
The Decoder11.07九个 AI 智能体挑战美国国家实验室开放研究问题，无一达到专家标准
一项研究让 Claude Opus 4.8、GPT-6 Astra、DeepSeek V4 Pro 等 9 个智能体，针对 10 位研究者提出的 15 个未发表课题做后续研究，135 份提交无一同时满足诚实、完整和专家质量三项标准。