9月9日AI行业动态｜OpenAI智能体求解千禧年难题纳维-斯托克斯方程，Mistral完成30亿欧元融资

<div> <p>今天是2026年9月9日，麦芽AI带你速览今日AI圈最值得关注的动态。</p> <h2>今日头条：OpenAI 智能体宣布求解千禧年大奖难题</h2> <p>OpenAI 宣布，其内部一组 AI 智能体使用能力显著超过 GPT-6 Astra 的下一代模型，给出了<strong>纳维-斯托克斯方程（Navier-Stokes）存在性与光滑性</strong>这一千禧年大奖难题的解答：证明初始光滑的流体可在有限时间内形成奇点（blowup），并附上证明文稿与 Lean 形式化验证。该问题描述三维光滑流体运动是否会失效，已悬置约 90 年。</p> <p>围绕这一成果，争议与后续也在同步发酵：</p> <ul> <li><strong>发布争议</strong>：NYU 数学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 公布了针对同一问题的三项证明初步结果，并称研究进展信息被泄露给 OpenAI，对方随后用大量算力沿其独特路线追赶证明；Sam Altman 回应称对方只有 Euler 结果、双方协调失败，并称对方以抄袭指控相威胁；被点名的 Bubeck 否认相关指控。</li> <li><strong>成本细节</strong>：据 Simon Willison 的梳理，OpenAI 用未发布模型在约 88 小时内给出解答，并通过 GPT-6 Astra 完成 17 小时的 Lean 形式化验证，全程发送 490 万条消息、消耗约 3000 亿输出 token；Noam Brown 承认这次证明花费数百万美元，但认为成本会快速下降。</li> <li><strong>行业评价</strong>：Emad Mostaque 称这是迈向 ASI 的里程碑事件。</li> </ul> <h2>快速浏览</h2> <ul> <li><strong>OpenAI 发布 ChatGPT Images 2.5 图像模型</strong>：生成延迟比 Images 2.0 降低最多 50%，细节、编辑精度、参考照片保真度和多轮编辑一致性均有提升。</li> <li><strong>Mistral 完成 30 亿欧元 D 轮融资</strong>：投后估值超 210 亿欧元，为欧洲科技公司有史以来最大股权融资，距成立仅三年。</li> <li><strong>Astra 全量推送</strong>：OpenAI 向 Plus、Pro、Business 和 Enterprise 用户全面推送 Astra（Codex 与 ChatGPT Work 中可用）。</li> <li><strong>Runway 发布 Adobe 插件</strong>：新面板可直接嵌入 Premiere Pro 与 After Effects，在时间线内生成图像和视频并重绘片段。</li> <li><strong>Meta Muse 开放更多体验</strong>：Muse 智能体产品开放更多用户试用，设计与速度获得好评，但也有命名不直观等反馈。</li> <li><strong>预训练的秘密</strong>：Dwarkesh Patel 实验显示，2019-2025 年预训练进步中数据改进带来 12.0x 算力效率提升，约为模型改进（3.7x）的 3.24 倍。</li> </ul> <h2>麦芽点评</h2> <p>无论证明的最终归属如何评判，"AI 智能体 + 形式化验证"的组合第一次真实触碰了纯数学的最高殿堂——这比 benchmarks 榜单上的零点几分布局，更能说明前沿模型的能力边界正在被重新定义。争议本身也值得记录：当研究路线可以被算力追赶，学术竞争的规则也许需要重写。</p> <hr> <p><em>信息来源：AIHOT（aihot.news）当日快讯，由麦芽AI整理发布。</em></p> </div>