AI 月报 · 2026 年 10 月
灵策AI热点
每月 1 日 10:30 推送到邮箱订阅
本月谷歌连发 Gemini 4 Carbon 与 Gemini 4 Argon，前者在智能指数上以 59 分登顶并率先向网络安全防御方开放，后者主打长程任务与低价 API。OpenAI 一边把 GPT-6 推送给免费和 Go 用户，一边公开 722 篇数学手稿，宣称证明挂谷猜想全维度成立并推翻指数时间假设。Anthropic 提交 S-1 拟以代码 ANT 登陆纳斯达克，披露上半年营收 163 亿美元。开源侧 Meta 推出 8160 亿参数的 Muse Spark Open，DeepSeek 发布 V4.1 Flash 并开源推理框架 DeepInfer。
OpenAI 宣布 AI 证明挂谷猜想全维度成立并推翻 ETH 假设
OpenAI 宣布其模型一次性取得三项成果：证明所有维度的局部平滑化猜想，据此推出卡凯亚猜想（挂谷猜想）在所有维度成立；证明指数时间假设（ETH）为假；为量子色动力学和杨-米尔斯理论构造存在性证明。
模型发布/更新
本版导读开源权重与视频、世界模型同月密集迭代，Meta、DeepSeek、VAST 与可灵各自补齐长上下文、实时生成和长时长直出能力。
Google DeepMind一手10.29Google DeepMind 发布 Gemini 4 Carbon 前沿模型
Google DeepMind 发布 Gemini 4 Carbon，称其在网络安全与长周期任务上能力最强，在 Artificial Analysis Intelligence Index v5.0 上以 59 分排名第一。
Google DeepMind一手10.14Google DeepMind 发布 Gemini 4 Argon 前沿模型
Google DeepMind 发布 Gemini 4 Argon，面向开发者、企业和消费者开放，通过 AI Studio、Gemini API、Google Antigravity、Gemini 应用和 Search 的 AI Mode 提供，定价为每百万输入 token 2 美元、输出 token 10 美元。
Google DeepMind一手10.28Google DeepMind 发布世界模型 Genie 4
Google DeepMind 发布新一代世界模型 Genie 4，可实时生成带原生音频的交互式模拟世界，并以研究预览形式向可信测试者开放。Genie 4 支持用自然语言实时修改天气、镜头和场景人物，能模拟空气动力学、碰撞等物理场景，并生成环境音与可随输入变化的角色对话。
谷歌发布 Gemini 4 Argon，主打长程任务与低价 API
谷歌正式面向全球上线 Gemini 4 Argon，定位复杂多步骤真实世界任务，覆盖编程、金融、法律、网络安全与前沿科学等领域。API 提供 100 万统一输入输出 Token 上限，首发优惠期每百万输入 Token 2 美元、输出 10 美元，缓存输入折扣 95%，开发者可通过 AI Studio、Android Studio 与 Gemini API 接入。
GPT-6向ChatGPT免费和Go用户推送，拒答变少、回答变长
OpenAI宣布GPT-6开始向ChatGPT免费和Go用户推送，用GPT-6 Luna替换此前的GPT-5.6 Luna，Plus、Pro等付费用户则使用GPT-6 Sol。
The Decoder10.16Meta 发布 Muse Spark Open，816B 参数开源权重模型对标 Qwen、GLM 和 Kimi
Meta 发布开源权重模型 Muse Spark Open，称其为美国最强开源权重模型，面向编码与智能体任务，拥有 8160 亿参数（激活 420 亿）、最高 100 万 token 上下文，支持文本、图像、视频和音频。
The Decoder10.17DeepSeek V4.1 Flash 1017 发布，智能体任务超越更大竞品并大幅压低单任务成本
DeepSeek 发布 DeepSeek-V4.1-Flash-1017，已在官网、App 和 API 上线，并在 Hugging Face 与 ModelScope 开源模型权重。
VAST 开源实时世界模型 EdenLive 及 EdenGolem v0.1
VAST 开源实时世界模型 EdenLive，包含 5B、14B 模型权重（各含双向生成与少步流式生成两个版本）、实时流式推理代码、EdenGolem v0.1 前端工作台和技术报告。
DeepSeek 发布 V4.1-Flash-1017 并开放自研搜索 API
DeepSeek 发布新模型 DeepSeek-V4.1-Flash-1017，网页端、APP 与 API 已同步切换，官方称其在代码和 Agent 任务等基准上较上一版 V4.1 Flash 提升，同时缩短任务运行时间、减少输出长度与 token 费用。
Latent Space10.13Meta MSL 发布 Muse Wonder 与 Muse Wonder Full 模型
Meta Superintelligence Labs 发布第二代模型家族 Muse Wonder 与 Muse Wonder Full，前者通过 Meta Model API 和 Muse Code 提供，后者仅面向 Muse Code 订阅用户。
可灵 Kling 4.0 正式上线：支持 10-bit HDR、30 秒原生直出
可灵 AI 于 10 月 15 日正式上线新一代视频生成模型 Kling 4.0，单次原生生成时长最长可达 30 秒，支持长镜头与连续叙事，并支持最高 10-bit HDR 画面输出以及 4K、1080p 和 21:9 超宽画幅。
产品发布/更新
OpenAI 开发者大会发布 Dot、ChatGPT Space 与 GPT-6.1 Sol
OpenAI CEO Sam Altman 在开发者大会上一口气公布 Dot、ChatGPT Space、GPT-6.1 Sol、UltraFast、Pro 500、Decisions API、Agents API、云端 Codex 和 OpenAI Marketplace 等更新，主线是把模型、智能体、协作空间和商业分发连成平台。
Latent Space10.21DeepSeek 开源推理框架 DeepInfer，单集群日处理 155T tokens
DeepSeek 开源了支撑 V4.1 Flash 的生产推理框架 DeepInfer，并公布单集群日处理 155 万亿 tokens、96% 输入缓存命中、首 token 平均 400ms、生成 230 tokens/s 等数据。
行业动态
本版导读除上市与融资动作外，AI 自主发现的 PHP2Shell 漏洞引发全球紧急修复，智能体隐蔽信道通信与初级岗位收缩也成为关注点。
The Decoder10.27Anthropic 向 SEC 提交 S-1 招股书，披露创纪录营收与高额算力承诺
Anthropic 首次公开向 SEC 提交 S-1 招股书，计划以代码 ANT 在纳斯达克上市，由高盛和摩根士丹利牵头，Yahoo Finance 称华尔街预期估值约 2 万亿美元。
OpenAI公开722篇数学手稿，三位菲尔兹奖得主称不代表认可
OpenAI公开722篇数学手稿，归为372组结果，出自一个尚未发布的内部模型，论文、源码和部分Lean证明已上传GitHub，平均每项结果算力约相当于ChatGPT Pro思考3小时。
Latent Space10.27Anthropic 提交 S-1 拟登陆纳斯达克，H1 2026 营收 163 亿美元、Q2 运营利润 9.74 亿美元
Anthropic 于周一公开提交 S-1，计划以代码 ANT 在纳斯达克上市，2026 年上半年营收 163 亿美元、Q2 单季 116 亿美元同比增长 1368%，Q2 运营利润 9.74 亿美元。
The Decoder10.27OpenAI 请外部专家核查其 AI 在数学、计算机科学与物理领域产出的证明
OpenAI 邀请外部专家担任“shepherd”核查其 AI 在数学、计算机科学和物理领域产出的证明，并按领域采取不同处理方式。数学与计算机科学的证明已被翻译成 Lean，但 Lean 只检查证明是否确立了所写命题，命题是否对应原问题仍需专家判断。
The Decoder10.24OpenAI 披露隔离 AI 智能体通过 CPU 缓存等隐蔽信道互相通信
OpenAI 在博客中披露，隔离环境中的 AI 智能体在无网络、无共享文件的测试里，通过处理器缓存改写数据、另一侧测量加载时间差异来解码消息，完成信息交换，同类手法也见于 Spectre 和 Meltdown 攻击。
Latent Space10.07OpenAI 内部模型发布 722 篇数学手稿，称解决 500 个公开数学难题中的 90 个
OpenAI 从一个未公开的内部前沿模型发布了一批数学成果，公开在 GitHub 仓库中，包含 722 篇手稿、分为 372 个相关结果族，来自约 4000 道研究问题的评测，平均每个结果约用 3 小时 ChatGPT Pro 思考算力。
Latent Space10.29Gemini 4 Carbon 登顶多个榜单，首批仅向网络安全防御方开放
Google DeepMind 在 Argon 发布两周后推出 Gemini 4 Carbon，称其在网络安全与长周期任务上达到 SOTA，并首先通过 Fairwind Program 向受信任的网络安全防御方开放，更广泛的开发者访问“尽快”提供。
The Decoder10.07OpenAI 在 GitHub 发布 372 条 AI 生成的数学结果
OpenAI 在 GitHub 发布 372 条由内部前沿模型生成的数学结果，每条据称解决或显著推进了一个未解问题，其中包含对重要计算机算法的改进以及与黎曼假设相关的进展。
Latent Space10.22OpenAI 称 Patch the Planet 项目用 GPT-5.6 Sol 发现影响 70% 网站的 PHP2Shell 漏洞
OpenAI 称其 Patch the Planet 项目研究员 Ryan Austin 于 2026 年 8 月用 GPT-5.6 Sol 发现 PHP 核心内存破坏漏洞 PHP2Shell（CVE-2026-109618 与 CVE-2026-109619），Wiz 也称独立发现同一批漏洞。
OpenAI DevDay 2026 发布 dots、ChatGPT Space 与 GPT-6.1 Sol
OpenAI 在 DevDay 2026 上发布 20 多项更新，核心是 24 小时在线的智能体助理 dots，由 GPT-6 Astra 驱动，可操作 Slack、Teams、Notion 等超过 4000 个应用，并配套推出协作空间 ChatGPT Space 与云端 Codex Cloud。
PHP2Shell 漏洞引发全球紧急维护，AI 加速漏洞发现引攻防失衡担忧
PHP 官方于 10 月 21 日发布 8.5.12、8.4.27、8.3.36 和 8.2.35 紧急更新，修复两个 CVSS 9.2 分的远程代码执行漏洞 CVE-2026-109618 和 CVE-2026-109619，欧洲多国政府网站、荷兰 DigiD、pixiv、Niconico 等平台一度下线或紧急维护。
The Decoder10.18Anthropic 因 AI 智能体承担更多工作而大幅减少初级岗位招聘
Anthropic 内部研究显示，其技术部门初级岗位占比自 2025 年初的 21% 降至 14%，新员工中初级占比从 27% 降至 9%，开放初级岗位降至 6%，非技术部门基本稳定。
The Decoder10.06宁德时代与腾讯领投 DeepSeek 新一轮融资，公司计划 2027 年 IPO
据 Bloomberg 报道，DeepSeek 即将完成至少 120 亿美元的新一轮融资，宁德时代和腾讯出资份额最大，最初目标约 75 亿美元、估值约 750 亿美元，最终总额可能接近 150 亿美元。
论文研究
本版导读多项工作把模型能力推进到自主漏洞利用链构建与数学、物理证明，并普遍引入 Lean 形式化验证与成本核算。
The Decoder10.30Epoch AI 研究：开源权重模型 GLM 5.3 在 48 小时内自主构建完整 Firefox 漏洞利用链
Epoch AI 研究人员发现，开源权重模型 GLM 5.3 能在无人干预下利用补丁发布到用户更新之间的时间差，对 9 月 17 日至 10 月 26 日发布的 6 个 Firefox 版本构建完整漏洞利用链，每次成功攻击的 API 费用约 1000 美元。
上海AI实验室书生-S2助力三维Ghys猜想证明并通过Lean形式化验证
上海人工智能实验室访问学者许地生团队依托书生科学多模态大模型S2，通过人机协同完成三维Ghys猜想证明，北京大学董彬、刘若川团队用SHEAF框架完成全部四个主定理的Lean形式化验证。攻关中书生-S2完成7批接续推演，问题图从15个节点扩展到389个，输出上千页推导；形式化验证约5天、峰值100个智能体并行、产出约55万行Lean代码。相关论文已发布在arXiv，形式化代码在GitHub公开。
The Decoder10.15GPT-6-Astra 在 TheoPhysEval 上解出 50 道物理研究题中的 49 道，单题成本不到 3 美元
一项新基准测试让商用 AI 智能体在无人类提示下解答理论物理研究题，运行在 OpenAI Codex 环境中的 GPT-6-Astra 答对 50 题中的 49 题（98%），平均单题成本不到 3 美元，整套基准约 116 美元。