智东西 作者 程茜 编辑 李水青 智东西9月9日消息，今日，OpenAI宣布使用 比GPT-6 Astra更强的内部系统 ，破解了悬而未决约90年的“千禧年大奖难题”。 这道难题是纳维–斯托克斯存在性与光滑性问题，OpenAI成功证明，描述流体运动的纳维–斯托克斯方程，其动力学演化可在有限时间内产生奇点。 他们的策略是不同智能体群组进行多样化验证，最后由Codex汇总结果。首批智能体启动约 88小时 后，智能体群组于当地时间9月5日得到了证明结果，后续由GPT‑6 Astra耗时 17小时 ，完成Lean形式化构建与核验。 在所有尝试求解的问题中，大约有10000个智能体协作，一共发送了 490万条 消息，消耗约 3000亿输出token 。在求解纳维–斯托克斯问题的过程里，智能体发送 270万条 消息，消耗大约 1300亿输出token 。OpenAI研究科学家诺姆·布朗（Noam Brown）发帖称，这个项目的实施花费了 数百万美元 。 刚公布突破数学难题，OpenAI不忘为用户端上图像生成模型ChatGPT Images 2.5，新模型图像生成速度快了50%，并且清晰度更高、功能更强大。 就在公布这一历史性突破后，OpenAI却深陷剽窃他人研究成果的舆论漩涡。 当地时间周一，纽约大学数学教授特里斯坦·巴克马斯特（Tristan Buckmaster）发布声明称，自己已经在解决纳维-斯托克斯方程方面取得重大突破，OpenAI在得知他们取得进展后才启动研究。 但OpenAI在博客文章中强调，在巴克马斯特团队成果公开前，他们从未以任何方式接触过对方的研究内容。 Annthropic研究员肖尔托·道格拉斯（Sholto Douglas）分析称，他认为 用户数据几乎不可能对此产生任何影响 ，OpenAI 绝不会专门调取用户对话记录来做这件事，也不会有意用这类数据训练、进而造成该影响。 外媒TechCrunch认为，如果上述说法属实，就意味着OpenAI团队已然认定巴克马斯特与阿尔珀厄赫的研究路线是正确的，并决定凭借自身在算力资源上的硬件优势，抢先得出一份形式化证明。 一、千禧年七大难题之一：纳维-斯托克斯方程 先来看下这道数学难题到底指什么。 千禧年大奖难题指的是2000年克雷数学研究所（CMI）公布的七个重要数学未解问题，每道题悬赏100万美元（约合人民币671万元）。 具体来看，纳维–斯托克斯方程基于牛顿第二运动定律（F=ma)来描述流体的运动规律，这些方程可以被应用于飞机设计、天气预报以及血流研究等领域。 这类动力学方程一个根本性的问题是，流体的连续介质近似是否会失效。 对于密度恒定的三维不可压缩流体，即便初始流动是光滑的，纳维–斯托克斯方程是否仍会产生 “奇点”？ 此处所说的奇点，指流体的运动速度会在有限时间内趋于无穷大。即便存在粘性（粘性本会让流动趋于平滑），奇点依然有可能出现。 真实流体不可能拥有无穷大的运动速度，一旦出现这种奇点，就意味着方程对流体的描述失效。若要继续刻画该系统，就需要转而追踪更微观粒子的单独行为。 该方程源自19世纪法国物理学家克劳德-路易·纳维（Claude-Louis Navier）与英国数学家乔治·加布里埃尔·斯托克斯（George Gabriel Stokes）的研究。 1934 年，法国数学家让·勒雷（Jean Leray）证明了方程在广义意义下解是存在的；但这些解是否能够始终保持光滑一直没有被解决。 二、多智能体协同攻破，先用100智能体、50小时解决难度更低问题 OpenAI的内部系统给出了一份解析证明以及对应的Lean形式化证明。 原本静止、初始状态光滑的流体，可以在有限时间内产生奇点。该流体受到光滑外力作用，并且从静止状态直到奇点形成的整个演化过程中，流体的能量始终保持有限。这一结果证明了千禧难题官方表述中的命题C，同时也证明了命题D，从而解决了这一“千禧年大奖”难题。 该解对应的结构是 一种流体旋转涡流，向内螺旋收缩并不断被拉长，形似意大利面条 。中心区域不断缩小，同时流速持续升高；而整个过程中能量依然保持有限，符合物理定律的约束。 其难点在于，方程必须依靠流体自身的运动产生解的破裂，而不是人为施加无穷大外力这类手段。 从数学角度来看，纳维–斯托克斯方程中描述运动的各项加速度、压强梯度、动量输运、粘性项等，都需要幅值变大，同时以一种精密的方式相互抵消。正是这种精细的平衡，使得即便流体速度趋于无界，外加的外力场依旧保持光滑。 OpenAI在博客中提到，自8月28日以来他们一直在训练一款全新内部模型，它在包括数学在内的各项基准测试中展现出前所未有的性能。该模型目前仍在训练中，性能还在持续提升。 当时时间9月1日，他们听到 有传言称两道千禧年大奖难题已被解决 。受这些传言以及内部模型性