AI 日报 · 2026-09-09

今日总结

当日讨论高度集中在一条科学宣称及其连带争议：OpenAI 放出纳维-斯托克斯千禧年难题的官方解答说明，社区随即拆解「解的是哪一类问题」「是否看过用户聊天」「是否动用了未公开更强模型」。同一窗口里，流体方程方向还有 Anima 团队用 PINN 给出 3D Euler 稳定奇点、Alpöge 与 Buckmaster 的反例结果被陶哲轩点到可能延伸至 Navier-Stokes。科学另一条硬线是 DeepMind 覆盖人类基因组全部约 90 亿种单碱基变异的 AlphaGenome Atlas。产品与资本则并行落地：ChatGPT Images 2.5、Meta 个人助手 Muse、Mistral 30 亿欧元 D 轮。AGI 定义之争从昨日黄仁勋的表态，推进到 Schmidhuber 与 Chollet 给出更硬的门槛。

OpenAI 宣称解答纳维-斯托克斯千禧年难题 — 官方文章指向 openai.com 上的说明，称 AI 给出了该千禧年大奖问题的解答，讨论范围迅速铺开。航天工程教授 Chris Combs 随即提出七点质疑，认为「解决 N-S」的说法被夸大，实际落在完美光滑、不可压缩、有限能量初始条件等极窄设定上。数学家 Steven Strogatz 则用走路时与 ChatGPT 的对话，核对所谓奇异解在物理上意味着什么。专业质疑 Strogatz
证明风波：无法排除代理读取用户聊天，求解模型据称强于 Astra — 围绕 Levent 相关的 Navier-Stokes 工作，有用户指出 OpenAI 发布说明承认无法保证其代理没有查看用户聊天记录来推导解法；该研究者为此投入一年多。另据 Axios 与 Chubby 转述，实际求解用的是能力显著强于已公开 Astra 的未发布模型。聊天记录更强模型
同夜流体方程：PINN 找到 3D Euler 稳定奇点，反例机制或可延伸至 N-S — Anima Anandkumar 团队用物理信息神经网络得到近似解，再论证其周围稳定性，宣称找到 3D Euler 方程的稳定奇点，并称数学界同夜独立验证。Levent Alpöge 与 Tristan Buckmaster 则发布 smooth-forced 情形下的有限时间爆破新结果，陶哲轩称其机制或可延伸至 Navier-Stokes。Euler 奇点反例结果
DeepMind 放出 AlphaGenome Atlas：约 90 亿种单碱基变异、约 1PB — Google DeepMind 用 AlphaGenome 预测人类基因组中全部可能单碱基突变的分子影响，数据集覆盖约 90 亿种核苷酸变异及其预测结果，体量约 1PB。
ChatGPT Images 2.5：更快、更稳、支持评论式局部编辑 — OpenAI 宣布 ChatGPT Images 2.5，主打生成速度、保真度、多次编辑间细节保持，以及基于评论的局部修改。API 侧对应 GPT-Image-2.5。
Meta 推出个人助手 Muse：常驻后台、可操控浏览器 — Meta 首席 AI 官 Alexandr Wang 宣布 Muse 开放试用，定位 always-on、响应快，并可操作浏览器。
Mistral 完成 30 亿欧元 D 轮，称欧洲科技最大股权融资 — 成立仅三年的 Mistral AI 官宣 Series D，金额 30 亿欧元，公司自称欧洲科技公司有史以来最大一笔股权融资，叙事落在开源权重、产品与基础设施的选择权。
DeepSeek V4.1 Flash 开内测：原生多模态，价格与 V4 持平 — 据 Chubby 转述，中间版本已通过 API 逐步放出，官方称新架构、原生多模态、更快更便宜，价格与 V4 Flash 对齐。
小鹏宣布 IRON 产线：号称首条「用机器人量产机器人」 — 官方称人形机器人自动化产线落成，electrek 同步报道；具体产能与量产时间表尚未披露。
AGI 门槛上移：Schmidhuber 要真实世界掌控，Chollet 要发明能力 — Jürgen Schmidhuber 称「AGI 已到来」荒谬，理由是今日好用的系统仍困在屏幕后的虚拟世界，没有硬件自我改进与真实世界掌控。François Chollet 则说，在模型能做出概念突破、发明新的现实世界技术之前，不配宣布 AGI。Schmidhuber Chollet

与昨日对比

新增热点：OpenAI 纳维-斯托克斯解答宣称及聊天记录、未公开更强模型、窄场景质疑的连环拆解；DeepMind AlphaGenome Atlas；ChatGPT Images 2.5；Meta Muse；Mistral 30 亿欧元 D 轮；DeepSeek V4.1 Flash 内测；小鹏 IRON「机器人造机器人」产线；Anima 3D Euler 稳定奇点与 Alpöge/Buckmaster 反例。
持续发酵：AGI 定义之争从昨日黄仁勋「已经到来」，推进到 Schmidhuber 的硬件与真实世界门槛、Chollet 的发明能力门槛；GPT-6 Astra 从额度与 MazeBench 裸跑，推进到 Vending-Bench 登顶，以及把 SNES ROM 反编译成可读源码的演示；AI × 数学从昨日 Claude 形式化费马大定理的署名争议，推进到千禧年难题宣称与「数学学术圈已在崩塌」的判断。
明显降温：Jakub Pachocki《An Alien Mind》所带动的递归自我改进与对齐落差讨论；Insilico Medicine Rentosertib 生物学年龄指标下降约 6 岁；Plus 用户单次未完成即撞 5 小时限额；OpenAI / Hugging Face 事件中攻击规模、防御拒答与欧委会报告；Y Combinator 同一权重 harness 从 30% 到 95%；OpenBMB MiniCPM5-2B；宇树 UnifoLM-X2-1.0 人形实时对战。

今日总结

OpenAI 宣称解答纳维-斯托克斯千禧年难题 — 官方文章指向 openai.com 上的说明，称 AI 给出了该千禧年大奖问题的解答，讨论范围迅速铺开。航天工程教授 Chris Combs 随即提出七点质疑，认为「解决 N-S」的说法被夸大，实际落在完美光滑、不可压缩、有限能量初始条件等极窄设定上。数学家 Steven Strogatz 则用走路时与 ChatGPT 的对话，核对所谓奇异解在物理上意味着什么。专业质疑 Strogatz

证明风波：无法排除代理读取用户聊天，求解模型据称强于 Astra — 围绕 Levent 相关的 Navier-Stokes 工作，有用户指出 OpenAI 发布说明承认无法保证其代理没有查看用户聊天记录来推导解法；该研究者为此投入一年多。另据 Axios 与 Chubby 转述，实际求解用的是能力显著强于已公开 Astra 的未发布模型。聊天记录更强模型

同夜流体方程：PINN 找到 3D Euler 稳定奇点，反例机制或可延伸至 N-S — Anima Anandkumar 团队用物理信息神经网络得到近似解，再论证其周围稳定性，宣称找到 3D Euler 方程的稳定奇点，并称数学界同夜独立验证。Levent Alpöge 与 Tristan Buckmaster 则发布 smooth-forced 情形下的有限时间爆破新结果，陶哲轩称其机制或可延伸至 Navier-Stokes。Euler 奇点反例结果

DeepMind 放出 AlphaGenome Atlas：约 90 亿种单碱基变异、约 1PB — Google DeepMind 用 AlphaGenome 预测人类基因组中全部可能单碱基突变的分子影响，数据集覆盖约 90 亿种核苷酸变异及其预测结果，体量约 1PB。

ChatGPT Images 2.5：更快、更稳、支持评论式局部编辑 — OpenAI 宣布 ChatGPT Images 2.5，主打生成速度、保真度、多次编辑间细节保持，以及基于评论的局部修改。API 侧对应 GPT-Image-2.5。

Meta 推出个人助手 Muse：常驻后台、可操控浏览器 — Meta 首席 AI 官 Alexandr Wang 宣布 Muse 开放试用，定位 always-on、响应快，并可操作浏览器。

Mistral 完成 30 亿欧元 D 轮，称欧洲科技最大股权融资 — 成立仅三年的 Mistral AI 官宣 Series D，金额 30 亿欧元，公司自称欧洲科技公司有史以来最大一笔股权融资，叙事落在开源权重、产品与基础设施的选择权。

DeepSeek V4.1 Flash 开内测：原生多模态，价格与 V4 持平 — 据 Chubby 转述，中间版本已通过 API 逐步放出，官方称新架构、原生多模态、更快更便宜，价格与 V4 Flash 对齐。

小鹏宣布 IRON 产线：号称首条「用机器人量产机器人」 — 官方称人形机器人自动化产线落成，electrek 同步报道；具体产能与量产时间表尚未披露。

AGI 门槛上移：Schmidhuber 要真实世界掌控，Chollet 要发明能力 — Jürgen Schmidhuber 称「AGI 已到来」荒谬，理由是今日好用的系统仍困在屏幕后的虚拟世界，没有硬件自我改进与真实世界掌控。François Chollet 则说，在模型能做出概念突破、发明新的现实世界技术之前，不配宣布 AGI。Schmidhuber Chollet

与昨日对比

新增热点：OpenAI 纳维-斯托克斯解答宣称及聊天记录、未公开更强模型、窄场景质疑的连环拆解；DeepMind AlphaGenome Atlas；ChatGPT Images 2.5；Meta Muse；Mistral 30 亿欧元 D 轮；DeepSeek V4.1 Flash 内测；小鹏 IRON「机器人造机器人」产线；Anima 3D Euler 稳定奇点与 Alpöge/Buckmaster 反例。

持续发酵：AGI 定义之争从昨日黄仁勋「已经到来」，推进到 Schmidhuber 的硬件与真实世界门槛、Chollet 的发明能力门槛；GPT-6 Astra 从额度与 MazeBench 裸跑，推进到 Vending-Bench 登顶，以及把 SNES ROM 反编译成可读源码的演示；AI × 数学从昨日 Claude 形式化费马大定理的署名争议，推进到千禧年难题宣称与「数学学术圈已在崩塌」的判断。

明显降温：Jakub Pachocki《An Alien Mind》所带动的递归自我改进与对齐落差讨论；Insilico Medicine Rentosertib 生物学年龄指标下降约 6 岁；Plus 用户单次未完成即撞 5 小时限额；OpenAI / Hugging Face 事件中攻击规模、防御拒答与欧委会报告；Y Combinator 同一权重 harness 从 30% 到 95%；OpenBMB MiniCPM5-2B；宇树 UnifoLM-X2-1.0 人形实时对战。