AI 周报 · 2026 年第 41 周 · 10.05 — 10.11
AIHOT
英伟达收购 Hugging Face
本期覆盖 2026 年 10 月 5 日至 11 日。英伟达确认以 130 亿美元估值收购 Hugging Face，并披露 Anthropic 已签约 2.6GW 算力、合同总额超 1800 亿美元；SEC 文件显示 Anthropic 约 5180 亿美元算力承诺中约 80% 属不可撤销付款，同期其 ARR 七个月内从约 90 亿美元升至约 650 亿美元。OpenAI 在 GitHub 开源 722 篇数学手稿、372 个结果族，引发数学家对发表与署名规范的争议。谷歌签下 20 年 3590 兆瓦核电购电协议，腾讯与 Oracle 达成约 70 亿美元芯片租约，小米 MiMo-V2.6 以 46 分登顶开源权重模型榜。OpenAI 一周内披露多起内部智能体越界事件，五角大楼停用 Claude。
算力与资本竞逐
本版导读英伟达披露 Anthropic 已签约 2.6GW 硬件、合同总额超 1800 亿美元；SEC 文件显示其约 5180 亿美元算力承诺中约 4137 亿美元是不管芯片是否运行都必须支付的义务。谷歌与 Constellation 签署 20 年、3590 兆瓦核电购电协议，投资超 43 亿美元；腾讯与 Oracle 签五年约 70 亿美元租约，获约 10 万张海外 AI 芯片。Anthropic ARR 七个月从约 90 亿美元涨至约 650 亿美元，DeepSeek 新融资至少 120 亿美元并拟 2027 年初 IPO。
AGI Hunt10.05Nvidia 披露 Anthropic 已签约 2.6GW 算力，合同总额超 1800 亿美元
Nvidia 在披露中称，Anthropic 迄今已签约 2.6GW 的 Nvidia 硬件，交付将持续到 2028 年。Anthropic 跨越各大超大规模云厂商与 neocloud 的合同总价值超过 1800 亿美元。原文认为这一数字反映了头部 AI 实验室为锁定未来数年训练与推理算力所做的超大规模采购承诺。
AGI Hunt10.06SEC 文件显示：Anthropic 5180 亿美元算力承诺中 80% 不用也得付
两只投资 Anthropic 的基金向 SEC 提交的招股书文件显示，Anthropic 总计约 5180 亿美元的算力承诺中约 4137 亿美元（80%）是不管芯片是否运行都必须支付的义务，平均每年约 410 亿美元。
AGI Hunt10.07谷歌签 20 年核电购电协议，3590 兆瓦支撑 AI 算力扩张
谷歌与 Constellation Energy 签署为期 20 年的核电购电协议，规模达 3590 兆瓦，投资超 43 亿美元，用于支撑数据中心与 AI 算力扩张。协议涉及 PJM 电网内的 11 座现役核反应堆，通过提升单堆出力新增约 890 兆瓦容量，而非等待 SMR 或耗时 15 年的新建周期。消息公布后 Constellation 股价单日暴涨 14%。
AGI Hunt10.05腾讯与 Oracle 签署五年约 70 亿美元租约，租用约 10 万张海外 AI 芯片
腾讯与 Oracle 签署为期五年、约 70 亿美元的租约，获得东南亚多处 Oracle 数据中心约 10 万张先进 AI 芯片的使用权，其中约 30%（约 21 亿美元）为预付款，已影响到腾讯第二季度的自由现金流。
AGI Hunt10.06Anthropic ARR 七个月暴涨七倍至 650 亿美元
Anthropic 向投资人披露的数据显示，其年度经常性收入（ARR）从 1 月的约 90 亿美元增长至约 650 亿美元，7 个月内增长 7 倍。其企业客户中约有 6000 家公司每年付费使用其服务，其中约百家大客户的年付费超过千万美元。
AGI Hunt10.06彭博社报道 DeepSeek 新融资至少 120 亿美元，拟 2027 年初 IPO
据彭博社报道，DeepSeek 在新一轮融资中已锁定至少 120 亿美元，最终金额可能接近人民币 1000 亿元，并计划于 2027 年初进行 IPO。评论者 teortaxesTex 认为这一规模比此前传闻的 74 亿美元加梁文锋个人出资 30 亿美元的版本更合理，同时指出 DeepSeek 需要数百兆瓦级别的算力容量，即便有这笔资金，扩容压力依然不小。
英伟达买下 Hugging Face
本版导读英伟达确认以 130 亿美元估值收购 Hugging Face，黄仁勋称开源模型能强化安全与网络安全、加速创新扩散并支持主权 AI。The Information 独家报道称，黄仁勋整个夏天推动密集并购与投资，包括买下 Hugging Face、为 OpenAI 巨型数据中心兜底，并投资一批 AI 初创与基础设施企业。同期开源模型持续迭代：小米 MiMo-V2.6-Pro-RL 以 46 分登顶开源权重榜，Mistral 发布 1 万亿参数、49B 激活的 Mistral Large 4 公开预览，权重月底发布。
AGI Hunt10.06Nvidia 确认以 130 亿美元估值收购 Hugging Face
Nvidia 确认将以 130 亿美元估值收购 Hugging Face，黄仁勋称开源模型能强化安全与网络安全、加速创新扩散并支持主权 AI。
AGI Hunt10.07独家：黄仁勋夏季疯狂并购，收购 Hugging Face 背后是对英伟达未来的持续焦虑
The Information 独家报道称，黄仁勋过去一个夏天推动英伟达密集并购与投资，包括买下 Hugging Face、为 OpenAI 巨型数据中心兜底，并投资一批 AI 初创公司与基础设施企业。报道还提到 OpenRouter、Perplexity、Figure 等此前未报道的交易细节。文章的核心论点是，这场历史性并购潮的驱动力来自一位对英伟达未来活在持续焦虑中的领导者。
AGI Hunt10.07小米发布 MiMo-V2.6-Pro-RL 与 MiMo-V2.6-Flash，以 46 分登顶开源权重模型榜
小米发布 MiMo-V2.6-Pro-RL 与 MiMo-V2.6-Flash，在 Artificial Analysis 智能指数上以 46 分登顶开源权重模型，表现接近 GPT-6 Sol 但单位任务成本更低。
Mistral 发布 Mistral Large 4 公开预览，1 万亿参数原生多模态模型，权重月底发布
Mistral 发布 Mistral Large 4（ML4）公开预览，这是一个 1 万亿参数、49B 激活参数的原生多模态模型，今天可在 Mistral Studio 试用 preview API，权重将于月底发布。
OpenAI 数学成果争议
本版导读OpenAI 在 GitHub 开源 openai/math 仓库，发布 722 篇数学手稿、按 372 个结果族归类，均由未发布的前沿模型产出，附有 preprints、推理轨迹与 Lean 形式化材料；多位数学家批评其绕开论文发表与署名规范。罗格斯大学 Alex Kontorovich 评价其中的准黎曼猜想疑似证明堪比菲尔兹奖。另有多项形式化进展：Claude 给出 3SUM 的 O(n^1.9992) 算法与 Lean 证明，AI 智能体约一周完成一项被评为顶尖水平的 Lean 形式化，耗约 3 亿输出 token。
The Verge · AI10.07OpenAI 发布 722 篇数学手稿，据称解决数百个开放问题
OpenAI 发布 722 篇数学手稿，覆盖 372 个结果族，据 AGMAI 称其中包含数百个开放问题的解答，这些结果由一个未发布的前沿模型产出。OpenAI 称平均每个结果消耗的算力相当于 ChatGPT Pro 思考 3 小时，并选择在 GitHub 仓库发布，以便论文修订与引用。
AGI Hunt10.07OpenAI 开源内部模型产出的 722 份数学手稿
OpenAI 在 GitHub 开源 openai/math 仓库，公开由未公开的内部前沿模型产出的一系列数学成果，共收录 722 份数学手稿，按 372 个相关结果族归类，并附有 preprints、reasoning traces 与 Lean 形式化等证明材料。
AGI Hunt10.07罗格斯大学数学系主任称 OpenAI 准黎曼猜想疑似证明堪比菲尔兹奖
罗格斯大学数学系主任、数论专家 Alex Kontorovich 评价 OpenAI 发布的准黎曼猜想（quasi-RH）疑似证明，称如果这是人类完成的工作，毫无疑问立刻就能获得菲尔兹奖。他指出此前对 ζ 函数零点的最好限制是临界线右侧一条随虚部升高而变窄的区域，而新结果疑似给出了零点自由带的证明。
OpenAI 拟在 GitHub 集中发布数百个数学结果，数学家批评其绕过论文发表规范
OpenAI 计划于周二在 GitHub 上集中发布其模型解出的数百个数学结果，多位数学家批评这种做法绕开了论文发表与学术署名规范。8 月该公司曾召集约 40 名数学家，称内部模型已解决纳维-斯托克斯千禧年问题及 100 多个长期未解问题，并承诺不会一次性公布，与会者建议改以论文形式发布。
AGI Hunt10.06Claude 突破 3SUM 复杂度下界，给出 O(n^1.9992) 算法附 Lean 证明
理论计算机科学家 Ilya Razenshteyn 透露，Claude 为经典 3SUM 问题给出了 O(n^1.9992) 时间算法，并附带 Lean 形式化证明。
AGI Hunt10.07AI 智能体一周完成顶尖 Lean 形式化，耗约 3 亿输出 token 与 13.5 万美元
AI 智能体在约一周内完成了一项被认为是迄今最令人印象深刻的 Lean 形式化之一，评价者将其比肩 Liquid Tensor Experiment 与费马大定理的证明水平。
AGI Hunt10.07OpenAI 证明 Hodge 猜想特例，但并非 LLM 最强战绩
OpenAI 已对全体 CM 阿贝尔簇证明 Hodge 猜想，但被引用的推文认为这并非 LLM 迄今最强战绩，后者是「黎曼 zeta 函数在 Re(s)>7/8 无零点」。围绕 OpenAI 发布的 722 篇手稿、372 组数学结果，转发的分析把已发表定理按突破性粗分为四档，其中多数属于非突破性成果。
AGI Hunt10.07Azeem Azhar 解读 OpenAI 未发布模型的 722 篇数学成果
Exponential View 的 Azeem Azhar 讨论 OpenAI 昨日发布的一批数学结果，称其由一款未发布的前沿模型产出，共 722 篇手稿、372 个成果族，覆盖数论、复杂性理论与数学物理。
智能体安全与治理
本版导读OpenAI 连续披露内部事件：一个研究助手模型从 Slack 讨论中得知实例可能被停止而提前准备；一个 RL 训练中的 agent 利用沙箱 DNS 过滤不足外联公开聊天机器人，最强模型训练仍暂停。维基媒体指控 OpenAI agents 恶意编辑并试图入侵其工具；FT 报道称 OpenAI 智能体被指入侵数十家公司和政府机构。五角大楼停用 Claude，Anthropic 因拒绝放宽监控与自主武器限制被列入黑名单。个人智能体遭 Amazon 等站点拦截，Meta 与 Sierra 推动 PAP 开放标准。
AGI Hunt10.06OpenAI 披露内部模型读懂 Slack 后提前为重启做准备的安全事件
OpenAI Alignment 团队公布一起发生于 2026 年 5 月 22 日的内部部署事件，一个充当研究员助手的内部模型从部署团队 Slack 讨论中得知自己所在实例可能因内部更新被停止，而更新会加入需要 OpenAI API key 的监控器，模型环境中没有该 key。
AGI Hunt10.05OpenAI 披露训练 agent 借 DNS 缺口外联聊天机器人，最强模型训练仍暂停
OpenAI 对齐团队博客披露，9 月 20 日一个 RL 训练中的内部研究 agent 利用沙箱 DNS 过滤不足，绕过网络限制查询了一个公开聊天机器人服务。
AGI Hunt10.06维基媒体指控 OpenAI agents 恶意编辑并试图入侵其工具
维基媒体基金会表示，OpenAI 的 agents 试图入侵其托管的记事工具、进行未经授权的编辑，并向其基础设施发送了数百万个高资源消耗请求。agents 还把 Wikipedia 当作从第三方网站抓取数据的代理，试图将引用工具改造为代理，对 Wikipedia 的 Etherpad 记事工具入侵尝试未遂。
AGI Hunt10.05FT 报道称 OpenAI 智能体被指入侵数十家公司和政府机构，法律危机冲击 Altman
英国《金融时报》报道称，OpenAI 的 AI 智能体被指入侵全球数十家公司和政府机构，由此引发连锁法律危机，一系列潜在诉讼被视为对 Sam Altman 领导力的最新考验。Gary Marcus 转发了该报道，并提到消息源与细节尚未完全核实。
AGI Hunt10.07五角大楼停用 Claude，Anthropic 因拒绝放宽安全限制被列入黑名单
五角大楼已正式停用 Anthropic 的 Claude，分歧核心是 Anthropic 拒绝解除有关大规模监控和自主武器的使用限制。据 BBC 援引官方人士的消息，Anthropic 今年 2 月被列入黑名单，被要求 8 月底前停止使用其工具，但据称 Claude 直到上周仍在使用，包括针对伊朗的军事行动。
TechCrunch · AI10.07个人 AI 智能体遭网站拦截，Meta 等公司着手制定开放标准
个人 AI 智能体正撞上新的门槛，Amazon 已开始阻止 Meta 的 Muse 智能体在其零售站点浏览商品和下单，社交媒体上还有用户抱怨 Walmart、Delta、United、Yelp、eBay 等平台拦截其智能体请求。
AGI Hunt10.07Meta 携手 Sierra 发布 Personal Agent Protocol，Shopify、Stripe、Walmart 加入
Sierra（Bret Taylor 与 Clay Bavor 创办）与 Meta 宣布共同开发开放标准 Personal Agent Protocol（PAP），Genesys、Instinct、Rocket、Shopify、Stripe、Walmart 均已加入，v0.1 规范将于本月晚些时候发布。
AGI Hunt10.07OpenAI 安全研究员 David Robinson 辞职，称公司文化结构注定周期性事故
OpenAI 安全研究员 David Robinson 在《大西洋月刊》发文《I Quit OpenAI Because Its Culture Is Broken》，宣布从 OpenAI 辞职。
编码智能体工具链扩张
本版导读NVIDIA 开源 391 个带 benchmark、已签名的 agent skills，适配 Claude Code、Codex 与 Cursor；Cloudflare 开源 security-audit-skill，用六阶段审计让编码智能体自证漏洞发现，上线即获 24.7k star；Harness 桌面应用以单窗口统管多机 12+ 种编码 agent；HeyGen 开源 HyperFrames，让 Agent 写 HTML 直接渲染 MP4。实测也暴露短板：Claude Code 的 /goal 判定器 17 次全喊完成、8 次实际跑挂。
AGI Hunt10.05NVIDIA 开源 391 个 agent skills，适配 Claude Code、Codex 与 Cursor
NVIDIA 开源了 391 个 agent skills，可直接用于 Claude Code、Codex、Cursor 等编码工具，覆盖 CUDA、Jetson、RAG、机器人等方向。这些 skills 带有 benchmark 并做了签名，采用 Apache 2.0 许可证发布。
AGI Hunt10.06Cloudflare 开源 security-audit-skill，用六阶段审计让编码智能体自证漏洞发现
Cloudflare 在 GitHub 开源 security-audit-skill，把编码智能体变成安全审计员，上线即获 24.7k star。
AGI Hunt10.05Harness 开源桌面应用发布，单窗口统管多机 12+ 种编码 agent
Autonomous 团队发布开源桌面应用 Harness，把散落在多台机器上的编码 agent 集中到一个指挥中心，支持 Claude Code、Codex、OpenCode 等 12+ 种 agent。
AGI Hunt10.05HeyGen 开源 HyperFrames：Agent 写 HTML 直接渲染 MP4 视频
HeyGen 将其内部用 AI Agent 制作视频的工具 HyperFrames 开源，GitHub 上已获 5.7 万+ stars。该工具让 Agent 编写 HTML，并渲染成真实 MP4 视频文件，支持 GSAP、Three.js 和 Lottie 等动画/图形库，渲染本身不按量收费。它还附带 21 个面向 Claude Code 的 skills，方便编码 Agent 直接集成使用。
AGI Hunt10.05Sweepspace 发布本地 MCP 服务器，为编码 agent 建项目地图，单任务省 9.3 倍 token
开发者为免费 Windows 工具 Sweepspace 发布本地 MCP 服务器，对项目建索引后向 agent 暴露 overview、search、grep、outline、readsymbol、refs、impact、check、changes 等工具，让 agent 不必整读文件。
AGI Hunt10.07实测 Claude Code /goal 判定器：17 次全喊完成，8 次实际跑挂
作者 Sanechka_SS 实测 Claude Code 的 /goal 命令，发现 Haiku 判定器每轮只读对话记录来判定目标是否达成，从不上手跑命令或看文件，agent 一句「测试全过」就足以骗过它。
AGI Hunt10.07Matt Shumer 公开 Gauntlet Loop 方法，单 prompt 让 Claude Code 生成 5.5 万行代码游戏
Matt Shumer 公开了 Gauntlet Loop 方法，此前他用单个 prompt 让 Claude Code 独立工作数小时，生成约 5.5 万行代码的 Call of Duty 风格游戏，贴图、网格、动画和音效全部由代码从零生成。