【太平洋科技快讯】据快科技报道，当地时间 9 月 8 日，OpenAI 公布了一项重磅成果。一款尚未对外发布、数学能力优于 GPT-6 Astra 的内部大模型，借助约 1 万个 AI 智能体协同运算，仅耗时 88 小时就解决了著名的七大千禧年难题之一 —— 纳维 - 斯托克斯方程 ( N-S 方程 ) 的存在性与光滑性问题。
纳维 - 斯托克斯方程是刻画流体运动的基础方程，在气象预测、飞行器研发、流体仿真等领域有着广泛现实应用。这道难题的核心命题为：在流体初始状态足够平滑、总动能有限的条件下，流体速度是否会在有限时间内趋于无穷，即出现爆破奇点。OpenAI 本次得出的证明结论为，该类爆破奇点是可以存在的。
整套研究工作分为两个阶段：1 万个智能体并行开展探索，耗时 88 小时梳理出核心证明思路；后续再投入 17 小时，借助 Lean 形式化证明系统完成严谨校验，同步对外发布 165 页研究论文与配套形式化代码。
本次研究算力开销庞大，求解问题消耗约 1300 亿 token，项目整体 token 消耗接近 3000 亿，项目投入成本达到数百万美元。
不过，目前不少顶尖数学家对这份证明提出质疑，围绕证明逻辑、成果归属出现不同观点，同时还存在相关前期研究的版权争议，也尚未获得克雷数学研究所的公开认可。
