AI 前沿速递 · Vol.112

AI前沿速递 · 2026年09月09日

OpenAI 用约一万个并发 agent 推翻 Navier–Stokes 光滑性，却被 NYU 教授质问是否读过其 Codex 草稿；Meta 把能动邮箱与支付卡的 Muse 交给全美用户；Mistral 融资 30 亿欧元、三星领投、马克龙站台；infostealer 正在偷 Claude 会话烧光订阅额度；爱荷华核电站为 Google 的 AI 数据中心重启，联邦贷款 19 亿美元。

前沿速递 AI 千禧年难题 Agent 数据隐私 主权AI AI安全 算力能源

本期看点：OpenAI 宣布用约一万个并发 agent 推翻了 Navier–Stokes 的光滑性，却被一位纽约大学数学教授质问是否读过自己放在 Codex 里的草稿；Meta 把能动用你邮箱和支付卡的 Muse 交给全美用户；Mistral 拿下 30 亿欧元，「不是美国公司」成了可定价的资产；有人的 Claude 额度在睡觉时被烧光；停摆六年的爱荷华核电站为 Google 的 AI 数据中心重启，联邦掏了 19 亿美元贷款。

OpenAI 攻下 Navier–Stokes，NYU 教授质问它是否读过自己的 Codex 草稿

事件概述：9 月 8 日 OpenAI 发布公告，称一套内部系统证明了三维不可压缩流体的 Navier–Stokes 方程可以在有限时间内产生奇点——这不是证明光滑性成立，而是把它推翻，对应克雷数学研究所官方表述里的 C 与 D 两项。这道题从 1934 年 Leray 的工作起悬置约 90 年，2000 年被列为七道千禧年大奖难题之一。OpenAI 交出了解析证明与一份 Lean 形式化。

按官方时间线，这个「显著强于 GPT‑6 Astra」的内部模型从 8 月 28 日开始训练，训练至今未停。9 月 1 日 OpenAI 听到「有两道千禧年问题被解决」的传闻，随即把内部模型放到所有未解千禧年问题上试。找到 Navier–Stokes 解的那组 agent 规模约一万个并发，从启动到出结果约 88 小时（9 月 5 日），Lean 形式化与验证再花 17 小时、由 GPT‑6 Astra 完成。中途另有近百个 agent 协作约 50 小时，顺手推翻了无外力版 Euler 方程的正则性。全部问题合计发出 490 万条消息、消耗约 3000 亿输出 token，其中 Navier–Stokes 占 270 万条消息、约 1300 亿 token。

争议出在传闻的源头。纽约大学数学教授 Tristan Buckmaster 与 Anthropic 研究员 Levent Alpöge 攻下的是有外力版 Euler 问题，比 OpenAI 公告早一天公开。两人整个项目的草稿一直放在 OpenAI 的 Codex 会话里，同时也用了 Anthropic 的 Claude。Buckmaster 在公开声明中写道，他问过模型是否被训练于、或能否访问他们的会话，得到的回答是「模型不查看用户数据」；再追问训练一事，没有得到答复。OpenAI 在公告里说研究员和 agent 在对方公开发布前没有通过任何途径看到其工作，「没有访问任何特定用户数据」，紧接着承认「虽然可能性很低，但无法排除从他们使用我们产品所派生的去标识化数据帮助改进了我们的模型」。技术团队成员 Sebastien Bubeck 补充说两份证明路径差异显著，Euler 那部分连所证结果都不同（有外力对无外力）。Buckmaster 在 Mastodon 上回称，对方是在「公开承认使用了我们得出结果之后那段时间的训练数据」。OpenAI 表示承认两人在有外力 Euler 上的优先权，并且不打算领取那 100 万美元奖金。

为什么值得关注：数学界的优先权之争第一次撞上「训练数据可能包含对手草稿」这条新裂缝。Buckmaster 的追问指向所有编码助手用户都会遇到的模糊地带——服务商说「不看用户数据」，指的是检索还是训练，两者的边界由服务商单方面定义，用户手上没有可核验的证据。OpenAI 那句「无法排除去标识化数据的帮助」在法律上留足了余地，在信任上却把问题摊到了台面：把未发表的研究草稿交给云端模型，等于把先手交给服务商。抛开归属之争，88 小时、约一万个 agent、1300 亿输出 token 换一道千禧年难题，这个组合本身也重新标定了「用算力换数学结论」的价格。

相关链接：

Meta 把能动你邮箱和支付卡的 Muse 交给全美用户

事件概述：9 月 8 日 Meta 面向美国用户推出个人 AI 智能体 Muse，由自家 Muse Spark 模型驱动。它的工作方式是连接用户日常用的应用与服务——邮箱、日历、支付，以及健康健身、智能家居、餐饮、购物、音乐和活动类应用，然后代为发邮件、订行程、砍账单、填表单、把菜谱短视频转成购物清单、发派对邀请、下单购买，结账走 Link by Stripe（带购买保护），Shopify 的 Shop Pay 与 1Password 集成随后上线。授权逐个手动进行；某服务没有现成 connector 但有公开 API，Muse 会用用户提供的凭据自建连接；连 API 都没有，就直接开浏览器操作。

落地渠道包括 muse.ai 网页、iOS 与 Android 应用、WhatsApp 聊天，Meta 称 AI 眼镜也快了。计费是免费起步、用量涨上去再订阅，两档付费为 Power 每月 20 美元与 Maximum 每月 100 美元，注册即需绑卡，应用内带用量表。安全侧 Meta 强调 Muse 跑在专用虚拟机 Muse Secure VM 里、自带浏览器，看不到用户的密码与支付方式，另有一个 Sentinel agent 在同一虚拟机上、与 Muse 在系统层隔离，对话与数据不进 Meta 的广告系统。这次发布距离 Meta 就 29 个州提起的「社交媒体伤害儿童」诉讼达成 180 亿美元和解不到两周。

为什么值得关注：把邮箱、日历和支付卡一起交给一个智能体，需要的信任比社交网络高一个量级，而 Meta 在这条赛道上的信任储备恰好最薄——2011 年与 FTC 就「欺骗消费者」指控和解、2019 年 50 亿美元隐私罚款、2023 年被指违反隐私令，剑桥分析的阴影仍在。Meta 的答法是把安全承诺写成技术文档，让 agent 可命名、可换头像、可调沟通风格，用产品亲近感换授权意愿。行业层面这是消费级 agent 的一次大规模压力测试：能否让普通人交出支付权限，比模型跑分更能决定谁赢。

相关链接：

Mistral 融资 30 亿欧元，三星领投，马克龙下场站台

事件概述：法国 AI 实验室 Mistral AI 于 9 月 8 日宣布完成 30 亿欧元（约 35.8 亿美元）D 轮融资，投后估值超过 210 亿欧元（约 243.9 亿美元），公司称这是欧洲科技公司完成过的最大一笔股权融资。三星电子领投，EQT 管理的 Scaleup Europe Fund 与老股东 PSG Equity 联合领投；a16z、英伟达、Salesforce Ventures 等老股东跟投，Advent、BlackRock 与卢森堡大公国作为新股东进入。资金投向扩算力、建基础设施、加速商业化与国际扩张。

Mistral 目前在 20 个国家运营，路线与 OpenAI、Anthropic 广谱卖模型不同，主打帮政府和大企业用上 AI 并保住控制权：8 月推出让客户指定查询在哪个区域处理的工具，托管第三方开放权重模型（含中国模型），并计划 2030 年前在欧洲建成 1GW 算力。公司在公告里把前沿研究定位为「支撑其基础设施、产品与主权的地基」，被视为对「Mistral 正退化成推理服务商」这类质疑的间接回应。法国总统马克龙在 X 上说，这轮融资体现了法国与韩国「在 AI 上建设第三条道路」的目标。

为什么值得关注：三星入股、马克龙发帖、卢森堡政府进 cap table，这轮的成分本身说明「不是美国公司」已从一句口号变成可定价的商业资产。Mistral 的模型没进大众市场，估值仍翻到 210 亿欧元以上，投资人买的是采购端对供应链依赖的焦虑。参照德国 Aleph Alpha 与加拿大 Cohere 的合并，欧洲实验室的通行解法逐渐清晰：靠跨国资本与主权叙事凑出与美国实验室竞争所需的资本量。

相关链接：

睡觉时额度被烧光：infostealer 正在偷 Claude 会话

事件概述：英国东萨塞克斯的独立 AI 顾问 Grant De Swardt 在 8 月 4 日发现自己的 Claude Max 20x 账号异常——那天他没工作，token 用量却在涨。次日他断开挂在 Claude 上的一切、完全不碰它，用量还是从 45% 爬到 55%。他向 Anthropic 索取按项计费明细，没拿到；公司承认有问题，停掉他的付费账号、吊销全部会话与服务端 Claude Code token，按 200 美元月订阅的剩余时间退了 44.49 英镑。调查结论是一个被窃取的 Claude session key 被用来签发未授权的 Claude Code OAuth token。停号让他这个「按需上门配 agent」的独立生意直接停摆，账号约两周后才恢复。

他把经历发到 Reddit，80 条评论里冒出一批同类遭遇：有人账号被自动升级并扣款、用量从 0 蹦到 100%；有人 12 分钟内从 0 到 49%；另一人连续三天额度被跑满而自己完全没用，为此在 claude-code 仓库开了 issue。其中两位贴出 Anthropic 的告知邮件，公司在邮件里说已察觉有攻击者用常见的 infostealer 恶意软件从用户电脑窃取 Claude 登录会话，再拿这些会话访问账号消耗额度，并强调该恶意软件不来自使用 Claude 本身。De Swardt 没收到这类邮件，他坚称没在自己电脑上找到入侵证据，至今不知道攻击者如何拿到访问权，已转投 Cursor。被问到用户如何识别滥用时，Anthropic 拒绝置评。

为什么值得关注：技术根因不新鲜，infostealer 偷本地保存的凭据是老手法。新的是计费模型放大了后果——订阅制按额度供给，被盗的不是数据而是算力配额，而平台只统计总用量、不提供按项明细，受害者手上没有任何取证材料。De Swardt 那句「我不认为这些人有任何办法保护自己」说的正是这个空洞。一个泄露的 session key 就能横向签发长期 OAuth token，凭据泄露在 agent 时代的杀伤半径比密码时代大出一截；对把 agent 嵌进生产流程的小团队来说，平台侧「先停号再调查」的处置也是一种业务风险。

相关链接：

爱荷华核电站为 Google 的 AI 数据中心重启，联邦贷款 19 亿美元

事件概述：美国能源部完成一笔 19 亿美元贷款交割，用于重启爱荷华州 Duane Arnold 核电站——这座电站自 2020 年起关停。去年 Google 宣布与 NextEra Energy 合作重开该站点，明确用途是为自家 AI 数据中心供电。能源部当天的新闻稿没有提到 Google 这层关系。

为什么值得关注：AI 的电力账单正被翻译成公共财政科目。一座商业核电站的重启由联邦贷款兜底，终端受益方是一家超大规模云厂商的数据中心，而官方通稿把这层关系省略掉了——这种叙事切割本身就是信息。算力扩张已经越过「企业自建电源」的阶段，进入需要国家信用背书的区间，围绕电价分摊、退役资产复活与谁承担风险的争论会跟着上来。

相关链接：