AI周报 | 11月9日–11月15日：本周AI大事盘点

这周的 AI 圈，最值得说的是一个人离开了他创办三十三年的公司，和一场把 1.4 万亿美元摆上招股书的 IPO。前者让英伟达一周之内跌掉万亿级市值，后者第一次把芯片厂、云厂商写进了模型公司的股东名册。技术侧的火力也没停：Anthropic 把两个旗舰同时推到 5.2，Google 用更小的 Gemini 4 Hydrogen 反超自家更大的模型，阿里官宣 Qwen4，DeepSeek 把 App 背后的能力全拆成 API 卖。

1. 黄仁勋辞任英伟达 CEO，两天后员工发起请愿要求他回来

英伟达在周三的 SEC 文件里确认，董事会接受黄仁勋辞去 CEO、总裁与董事职务，立即生效。CFO Colette Kress 出任临时 CEO 并继续兼任 CFO，1993 年就进入董事会的 Harvey C. Jones 成为公司史上首位独立董事长。起因是他承认的两段婚外情，其中一位对象是 Megaspeed 高管 Alice Huang——美方认为她为中国情报机构工作，而这家公司过去两年采购了 48 亿美元英伟达芯片。自 10 月 29 日首篇报道以来，公司市值已跌去约 1.4 万亿美元。两天后支持者发起「33 Years Deserve an Answer」请愿，要求调查结束前恢复其职务，内部建议帖积累了 1600 多条评论，马斯克等科技高管也联署；《金融时报》称董事会在找继任者时已接触 Arm CEO Rene Haas。

为什么重要：英伟达的一部分护城河写在他个人的账本上——为小客户提供的约 3000 亿美元担保、与大客户的长期关系，都是制度接不住的东西。市场接下来要定价的不是业务，而是治理程序可不可信、CUDA 生态接不接得住。

来源 ｜ 来源

2. Anthropic 定了 IPO 价格：1.404 万亿估值，上游芯片厂集体入股

11 月 10 日更新的 S-1 给出了完整数字：发行 8.25 亿股 A 类普通股，价格区间 70 至 78 美元，募资 577.5 亿至 643.5 亿美元，按上限定价、完全稀释计算估值 1.404 万亿美元，代码 ANT，预计 11 月 19 日前后挂牌。配套的两笔钱更值得看：以 IPO 价格向 AMD、博通、Google、Micron、微软、英伟达、台积电私募 260 亿美元无投票权股，Google 与英伟达各出 100 亿；台积电董事会另批最高 10 亿美元，5 亿认购 OpenAI 优先股、5 亿按预期发行价买 Anthropic 普通股。七位创始人各卖 337.8 万股、套现近 2.5 亿美元，卖完仍合计控制 51.1% 投票权。截至 10 月底年化收入 810 亿美元，一个月里多了约 100 亿；同一周彭博社称 OpenAI 第三季度营收首次突破 100 亿美元、年化 500 亿，但调整后经营利润率仍是 -109%。

为什么重要：这是第一次有模型公司把算力供应商直接写进股东名册，采购关系变成股权绑定。分析师给台积电那笔钱起的名字是「循环融资」——钱在同一个闭环里转一圈，需求有多真就更难拆解。

来源 ｜ 来源 ｜ 来源

3. Claude Fable 5.2 与 Mythos 5.2：一千个 Agent 用三十小时证完费马大定理

Anthropic 把两个旗舰同时推到 5.2，其实是同一个底座配两套护栏：Fable 保留完整的网络安全与生物安全限制、向所有用户开放，Mythos 放开部分限制、只通过验证项目发放。价格降到每百万输入 8 美元、输出 40 美元，另有 fast mode，生成速度最高 2.5 倍、价格翻倍到 16/80。预发布案例比跑分更有信息量：一个由 1000 个 Fable 5.2 组成的 Agent 团队用 30 小时完成了费马大定理的完整形式化证明，同一批模型还解决了黑洞物理与全息对偶里的两个公开问题。基准上它基本压过 Opus 5.5 一档，FrontierCode 2.0 拿到 49.1%，RoboDojo 仿真从 5.1 的 27.6% 跳到 64.9%。

为什么重要：能力、速度、价格三条线同时动，说明前沿模型的价格战还没到底；而「同一底座 + 两套护栏」正在变成标准发布模板——危险能力不再靠不发布来管，改成分级授权。

来源

4. Gemini 4 Hydrogen 反超自家 Argon，但榜首的代价是 15 倍成本

Google 把 Gemini 4 Hydrogen 定位成日常编码与 Agent 工作流的执行引擎，接替 Gemini 3.8 Flash。Artificial Analysis 智能指数默认 high 档拿到 51 分，反超自家更大的 Gemini 4 Argon（50 分），xhigh 档能到 54 分；输入输出各 100 万 token，全窗口统一计价 $1.50/$7.50，速度比 Flash 快 2.5 倍，Terminal-Bench 4.1 从 18.2% 跃到 57%。同步上线的 Antigravity Orchestrator 会在同一会话里自动在 Carbon 与 Hydrogen 之间切换，任务成功率接近纯 Carbon，平均省 24% 配额。三天后，Gemini 4 Carbon 登上 MathArena 榜首，成为近期第一个把 GPT-6.1 Sol 挤下去的非 OpenAI 模型，代价是同等推理设置下成本约为对方的 15 倍，Claude Fable 5.2 约为 40 倍。

为什么重要：Argon 上线不到四周就被更小的模型全面压过，前沿模型负责「想」、小模型负责「做」正在成为默认架构；而榜首和「用得起」是两件事，竞争维度已经从谁更聪明挪到每个正确解值多少钱。

来源 ｜ 来源

5. 阿里官宣 Qwen4，Qwen4-Max 预览版直接塞进计费平台

11 月 11 日，阿里巴巴确认新一代千问 Qwen4 即将发布，并把 Qwen4-Max 预览版首发上线按量计费的 Token Plan，已接入多款阿里产品，但参数规模、上下文长度、定价方案与开源计划一律没披露。上线路径也说明意图：预览版没走消费者端首发，而是直接放进调用平台，让开发者和企业先用真实调用量压测新模型。

为什么重要：等正式发布时，发布会更像一次规格与价格的确认，而不是能力的首次亮相。接下来三个变量决定这是常规迭代还是主动进攻——正式发布窗口、是否延续开源以及开源哪些规格、Token Plan 相对上一代的定价。

来源

6. DeepSeek 把 App 里的能力全拆成 API 卖，ASR 一小时 0.39 元

DeepSeek 把自家 App 里的联网搜索、深度思考搜索、文件上传、链接阅读、语音交互全部开放成 API，而且不必打包调用——Search、Fetch、OCR、ASR、TTS 各有独立接口，可单独调用、分别计费。10 月放出的 Search 与 Fetch 需要开发者自己编排「判断要不要搜→找网页→读内容→再总结」，这次新增的一步式联网搜索由模型自己决定何时搜、搜什么、读哪几页。语音侧的价格相当激进：ASR 一小时 0.39 元，对比 GPT-Transcribe 的 1.81 元、Google Cloud 的 6.43 元。目前 V4.1-Flash 已在 Messages、Responses、Chat Completions 三类接口下支持这些对话扩展，官方还顺手开源了一套轻量聊天前端。

为什么重要：搜索、解析、语音这些基础件过去是每个团队自己拼装、自己踩坑的部分，现在一份 API 加一份示例代码就能复刻一个接近官方 App 的产品，应用层的竞争被直接挤回模型质量与价格。

来源

7. 图像模型两线进攻：MiniMax 开源 4K，字节把长程一致性做实

MiniMax 继视频模型 H3 之后把图像旗舰 H3-Image 也开源了：原生 16MP（4096×4096）直出，网页端 10–20 秒一张，支持最多 16 张参考图用于角色一致性和复杂分镜，API 定价为主流竞品的 50%–70%。实测里最出圈的是「CAD 拆解」——丢一张产品外观图，它能推演出正、侧、俯三视图，或按装配逻辑画出带引线标注的爆炸图。字节的 Seedream 5.5 走另一条路：主攻长程一致性，同一张图连改 100 轮手表指针、每轮只喂上一轮输出，中后段仍不明显畸变；2K 方图编辑单张约 0.28 元，不到 5.0 Pro 的一半，还支持透明底 PNG 直出和成图拆回图层单独改文案。

为什么重要：图像模型进生产流程的门槛不在画质，而在去 AI 味、可泛化的审美、空间与文本逻辑；拆图层这件事真正改变的是工作流——改一句文案不用整张重生成，一套主视觉能按市场快速出版本。

来源 ｜ 来源

8. 机器人换路线：GR00T 2 吃人类示范，OpenAI 把机器人团队并回通用模型

英伟达在 CoRL 上放出世界动作模型 GR00T 2，同时预测「世界接下来会怎样」和「机器人该怎么做」，1 分半的 demo 里它裁标签、装显卡、擦火柴、切香蕉。真正的变化在 X-Adapt：不再为每台机器人重采遥操作数据，而是直接吃人类示范——Dexter-50 评测零样本平均 40%，给 1 次示范升到 71%、5 次到 95%，五次示范合计不到 3 分钟，之后在单张 RTX 5090 上做约 30 分钟 LoRA 微调即可。同一周 OpenAI 把机器人研究并入首席研究官 Mark Chen 的团队、应用机器人硬件并入 Greg Brockman 的 Applied 组织，理由很直接：GPT-6 Astra 这类通用模型可以直接控制机器人。英伟达一项研究里，Astra 驱动的 agent 在模拟机器人任务上成功率 74.8%，最好的专用模型是 51%。

为什么重要：机器人数据的瓶颈不在算力，在采集。把人类视频和手持设备变成可训练数据，等于绕开遥操作这台昂贵的瓶颈机器；路线也从「专用小模型 + 本体数据」转向「通用大模型 + 现成本体」，门槛由采数据转移到模型能力。

来源 ｜ 来源

9. 芯片指纹：被禁的 Blackwell 出现在中国最强开源模型里

前 OpenAI 研究员 Will DePue 牵头的非营利机构 Unemployment Labs 放出一份研究：DeepSeek、Moonshot、MiniMax、蚂蚁等开放权重模型的权重结构里留有训练所用芯片的「指纹」，而 Kimi K3、DeepSeek V4 这些最受关注的模型，指纹指向美国禁止对华出口的 Blackwell。Epoch AI 估算，2024 至 2025 年约有 200 万片先进芯片以隐瞒最终目的地的方式流入中国，仅马来西亚两年就进口了 27.5 万片英伟达加速卡，离岸数据中心是常见路径。彭博社周五另报道，与 Alice Huang 有关联的公司在上海数据中心安装了走私入境的英伟达芯片。

为什么重要：管制盯的是「谁拥有、装在哪」，却放过了「谁在用」——训练可以放在境外完成，这恰恰是管制想防的那件事。芯片指纹这种取证方式，第一次让「查得到」变成可能。

来源

10. 姚期智与杨植麟首次联合署名，Kimi K3 把图论纪录从 629 条边推到 630 条

图灵奖得主、清华交叉信息研究院院长姚期智与月之暗面创始人杨植麟首次联合署名，发布理论计算机科学评测集 TCSExam：100 项研究级任务分定理证明、Solver 工程、数学构造、开放猜想四条轨道，定理证明要提交 Lean 4 证明，并用 Checkpoint 机制把「完成 7 个中间引理」和「证完主定理」严格分开。124 个点的极值构造问题上，数学界的参考纪录是 629 条边，Kimi K3 构造出 630 条并通过程序验证；同一个榜上，GPT-6 Astra 完成 20 项研究级定理中的 14 项，还把某有限域矩阵猜想的证明范围从 8 维推进到 9 维，最后用 143 条方程构造出可核验的矛盾证书。

为什么重要：多一条边在组合数学里意味着对全图结构做一次重构。更关键的是验收方式——用 Lean 内核与独立检查器判定，才分得清「蒙对了」和「证明了」；AI 能不能做研究而不只是做题，这是目前最接近答案的一次公开测试。

来源 ｜ 论文

本周趋势

这一周最明显的一条线是资本和算力咬得更紧了。Anthropic 把 1.4 万亿估值和 9010 亿美元的算力承诺一起摊到公开市场面前，Amodei 自己承认算力是最深的商业难题——必须提前一到两年买，却没人知道那时的收入够不够；上游芯片厂反过来入股下游模型厂，台积电、英伟达、Google 都成了股东。有意思的是同一周内部人给出的反证：刚离职的研究员 Jacob Coxon 说 Mythos 已经能用「原本所需算力的一小部分」重训，算法效率在超指数上升。如果这条曲线成立，算力即护城河的估值逻辑就得重算。

模型侧的分层已经落成产品结构。Anthropic 用同一个底座配两套护栏，Google 用更小的 Hydrogen 压过更大的 Argon 并让 Orchestrator 自动分工，Meta 把子 Agent 的单价打到每百万 0.1 美元——前沿模型负责想、小模型负责做、贵模型只干难活，从口号变成了架构和价目表。

机器人在这一周换了路线。GR00T 2 用人类视频绕开遥操作，OpenAI 干脆把机器人团队并回通用模型的研究组织，Astra 在模拟任务上已经压过专用模型——门槛正从采数据转向模型能力，专用机器人模型的必要性第一次被自家公司公开质疑。

监管则从倡议转向硬义务：纽约的 RAISE Act 开始注册，澳大利亚要把独立审计写进法律，APRA 宣布明年首次做 AI 压力测试，欧盟的数字公平法把 AI 伴侣写进黑名单。下周最该看的是 11 月 19 日 Anthropic 挂牌的实际定价，以及 Qwen4 的正式发布窗口——前者检验公开市场愿意为算力豪赌付多少，后者决定开源这条线还留不留。