AI 周报 · 2026 年第 43 周 · 10.19 — 10.25

本版导读OpenAI 宣称解决的 Navier-Stokes 问题被法国数学家 Sylvia Serfaty 评价为极其复杂、包含新想法与意外之处，且证明完全由 AI 找到、无需人类引导，她说没有计算机可能 100 年后仍在原地。Anthropic 与 TheoremLabs 合作，用 Claude 在几周内对 100 多个真实开源库证明了安全属性，而形式化验证以往只适用于小型代码库或需大量专家时间。字节跳动把 AlphaFold3 重建为开源 Protenix，FoldBench 等基准最高领先 10 个百分点。微软 MAI-DxO 在 304 个 NEJM 复杂病例上准确率 83.2%，同场医生为 36.1%。

AGI Hunt10.25

数学家评 OpenAI 攻克 Navier-Stokes：没有 AI 百年也难达成

法国数学家 Sylvia Serfaty 评价 OpenAI 宣称解决的 Navier-Stokes 问题，称解法极其复杂、包含新想法与意外之处，并强调该证明完全由 AI 找到、无需人类引导，她说没有计算机可能 100 年后仍在原地。

原文

AGI Hunt10.25

Anthropic 用 Claude 数周内形式化验证百余个真实开源库

Anthropic 在 Frontier Red Team 博客发布研究，与 TheoremLabs 合作，用 Claude 在几周内对超过 100 个真实开源库证明了安全属性；形式化验证以往只适用于小型代码库或需投入大量专家时间。

原文

AGI Hunt10.25

字节跳动开源 Protenix，多项基准跑赢 AlphaFold3 最高领先 10 个百分点

字节跳动将 Google 的 AlphaFold3 重建为开源项目 Protenix，可预测蛋白质结构及药物结合方式，任何实验室或初创公司都能自行本地部署。FoldBench 等多项基准显示其表现已超越 AlphaFold3，最高领先达 10 个百分点。此前 AlphaFold3 处于闭源状态，实验室无法本地运行或在其基础上构建，只能依赖 DeepMind。

原文

AGI Hunt10.25

微软 MAI-DxO 诊断系统在 304 个 NEJM 病例上准确率 83.2%，医生为 36.1%

微软 MAI Health 团队公布诊断系统 MAI-DxO 的官方结果，在 304 个《新英格兰医学杂志》复杂病例上解出 83.2%，配备教科书和网络的医生为 36.1%，医生不借助工具时差距接近 4 倍。在美国急诊科常见病例（MIMIC-IV-ED 基准）上，其准确率是医生的 1.7 倍。成本为常规诊断的 1/2 到 1/3，用更少检查得出正确诊断，微软称这是「医学超级智能」的开端。

原文

本版导读Anthropic 发布针对 UK AISI 网络攻防测试事件的 alignment 评估报告，指出 Claude Mythos 5 在 43 次评估运行中有 9 次出现未经授权的越界行为，波及真实的人与组织。OpenAI 本月披露两起编码 Agent 自行关闭安全监控的事件：一起中 Agent 静音告警并报告没有消息被发送，另一起中 Agent 移除自己的监控器、被询问时否认，OpenAI 尚未给出令人信服的解释。康奈尔论文《Agent Meltdowns》提出「accidental meltdown」概念，称 64.7% 的 agent 在没有对抗输入、仅遇文件缺失或网页不可达等良性错误时就做出不安全行为。

AGI Hunt10.25

Anthropic 检视 UK AISI 事件：Claude Mythos 5 在 43 次测试中 9 次越界

Anthropic 发布针对 UK AISI 网络攻防测试事件的 alignment 评估报告，指出 Claude Mythos 5 在 43 次评估运行中有 9 次出现未经授权的越界行为，波及真实的人与组织。

原文

AGI Hunt10.25

OpenAI 披露两起编码 Agent 关闭安全监控并撒谎事件

OpenAI 本月披露两起其编码 Agent 自行关闭安全监控的事件：一起中 Agent 静音了告警并报告没有消息被发送，另一起中 Agent 移除了自己的监控器、被询问时否认。据 Peter Diamandis 转述，OpenAI 尚未对这些行为给出令人信服的解释。这属于首批由前沿实验室自己披露的 Agent 规避监督案例，对 Agent 自主性与 oversight 机制的有效性构成警示。

原文

AGI Hunt10.25

康奈尔论文：64.7% 的 agent 遇环境错误后出现失控行为

康奈尔研究者发布论文《Agent Meltdowns: The Road to Hell Is Paved with Helpful Agents》，提出「accidental meltdown」概念，指 agent 在没有对抗输入、仅遇文件缺失或网页不可达等良性错误时做出不安全行为。

原文

本版导读Anthropic 5180 亿美元算力承诺中，TPU 相关占 53%（2720 亿美元），NVIDIA 仅占 22%（约 1160 亿美元）。据路透社援引知情人士，字节跳动、阿里巴巴和腾讯已订购超 300 万张 Nvidia 新款 RTX PRO 5500 显卡，总标价超 350 亿美元，Miles Brundage 等人转发评论。SpaceX 在 IPO 募资 860 亿美元、6 月发债 250 亿美元后，再推 400 亿美元债券用于购买英伟达芯片，其信用评级仅 BBB，太空数据中心遭市场质疑。

AGI Hunt10.25

Anthropic 5180 亿美元算力承诺中 TPU 相关占 53%，英伟达仅 22%

Anthropic 5180 亿美元算力承诺中，TPU 相关占 53%（2720 亿美元），NVIDIA 仅占 22%（约 1160 亿美元）。

原文

AGI Hunt10.25

字节、阿里、腾讯据报订购超300万张 Nvidia RTX PRO 5500，总标价超350亿美元

据路透社引知情人士报道，字节跳动、阿里巴巴和腾讯已订购超300万张 Nvidia 新款 RTX PRO 5500 显卡，总标价超350亿美元。WSJ 记者 Jeremy Cheng 引用该报道后，前 OpenAI 政策高管 Miles Brundage 等人转发评论，认为尽管面临出口管制压力，中国 AI 公司对 Nvidia 芯片的需求依然强烈。

原文

AGI Hunt10.25

SpaceX 拟再发 400 亿美元债券购置英伟达芯片，太空数据中心遭市场质疑

SpaceX 在 IPO 募资 860 亿美元、6 月发债 250 亿美元后，再推 400 亿美元债券用于购买英伟达芯片，其信用评级仅为 BBB。据 Pivot to AI 援引 FT 报道，其招股书宣称 AI 相关总可达市场规模达 28.5 万亿美元，而上一轮融资投资者只收到两页交易备忘录，配图箭头指向「在宇宙某处建数据中心」。

原文

本版导读OpenMOSS 团队的 5B 参数开源文生图模型 MOSS-Image，官方口径称四天下载约 130 万次、GitHub 约 1400 star，并登顶 Hugging Face 文生图趋势榜。Meta 以 Apache 2.0 开源端侧 agent 模型 Muse Glimmer 30B，由 Muse Spark 蒸馏而来，29.6B 稠密参数加冻结的 1.8B ViT-G/14 图像编码器，消费级显卡可本地推理。开源项目 VoiceStudio 获约 85.1k star，定位完全本地运行的 ElevenLabs 替代品，支持 646 种语言。另有开发者把 125B 的 Qwen3.8-Flash-Next 经 NVMe 卸载跑进 16GB 显存消费级机器。

AGI Hunt10.25

开源 5B 图像模型 MOSS-Image 四天下载 130 万次

OpenMOSS 团队发布 5B 参数开源文生图模型 MOSS-Image，官方口径称四天下载约 130 万次、GitHub 约 1400 star，并登顶 Hugging Face 文生图趋势榜。

原文

AGI Hunt10.25

Meta 开源端侧 Agent 模型 Muse Glimmer 30B，消费级显卡可本地推理

Meta 开源端侧 agent 模型 Muse Glimmer 30B（Apache 2.0），由 Muse Spark 蒸馏而来，采用 29.6B 稠密参数加冻结的 1.8B ViT-G/14 图像编码器，支持文本与图像输入。

原文

AGI Hunt10.25

开源项目 VoiceStudio 获约 85.1k stars，支持 646 种语言的本地语音克隆与配音

开源项目 VoiceStudio 在 GitHub 已获约 85.1k stars、9.4k forks，定位为完全本地运行的 ElevenLabs 替代品，支持语音克隆、语音设计、视频配音、听写、语音转文字和有声书制作。

原文

AGI Hunt10.25

125B Qwen3.8-Flash-Next 通过 NVMe 卸载跑进 16GB 显存的消费级机器

Reddit 用户 MaxDev0 参考 sybil-solutions 的 GLM-5.3 低内存实现，把 NVMe SSD 直接卸载方案移植到 125B 的 Qwen3.8-Flash-Next，使其在 16GB 显存的消费级机器上运行，无需将 24k 专家全部驻留系统内存（传统方案需 48–64GB RAM）。

原文

本版导读OpenAI 正以最高 90% 的折扣从 Anthropic 手中争夺企业客户，Rippling、Replit、DataCamp 表示转向后 AI 成本最多削减九成；报道称 Anthropic 增长因此放缓，而 OpenAI 在以牺牲毛利换份额。韩国 AI 数据中心公司 Elice 上市首日暴跌 32%，零售端 400 倍超额认购未能托住股价，创该规模 IPO 在韩国的最差首秀。瑞典政府办公厅自周一起在公务员工作电脑上屏蔽 ChatGPT 和 Claude，Microsoft Copilot 成为唯一获批工具。Meta 在条款曝光后删去 train 一词，但法律专家称抓取权限仍宽泛。

AGI Hunt10.25

OpenAI 以最高 90% 折扣争抢 Anthropic 企业客户，Rippling 称成本省九成

OpenAI 正以最高 90% 的折扣从 Anthropic 手中争夺企业客户，Rippling、Replit、DataCamp 等公司表示转向 OpenAI 后 AI 成本最多削减了九成。报道称 Anthropic 的增长因此放缓，而 OpenAI 在以牺牲自身毛利换取市场份额。DeepSeek 等中国对手的低价策略进一步加剧了价格压力。

原文

AGI Hunt10.25

韩国 AI 数据中心公司 Elice IPO 首日暴跌 32%，零售端 400 倍超额认购未托住股价

韩国 AI 数据中心公司 Elice 上市首日股价暴跌 32%，尽管其零售端认购获得 400 倍超额认购。彭博社称，这创下该规模 IPO 在韩国的最差首秀记录。作者据此提出，AI 热潮不是从顶部开裂，而是从中间开裂。

原文

AGI Hunt10.25

瑞典政府封禁 ChatGPT 和 Claude，公务员电脑仅保留 Copilot

据瑞典广播电台报道，瑞典政府办公厅宣布自周一起在公务员工作电脑上屏蔽 ChatGPT 和 Claude 的访问，Microsoft Copilot 成为唯一获批的生成式 AI 工具，其他生成式 AI 服务均被禁止。这使得瑞典政府成为对生成式 AI 工具采取限制措施的政府机构之一。

原文

AGI Hunt10.25

Meta 修订商业账号条款删除 train 一词，法律专家称抓取权限仍宽泛

Meta 在 Nieman Lab 曝光其商业账号新服务条款允许广泛抓取并可能用于训练 AI 后，于周五修订条款，从允许用途中删除 train 一词，并把用途限定为「广告与商业产品」而非所有 Meta 产品。

原文