近日，人工智能领域迎来一项突破性进展——OpenAI宣布其尚未公开的内部大模型成功攻克了克雷数学研究所提出的七大千禧年难题之一：纳维-斯托克斯存在性与光滑性问题。该模型通过约1万个AI智能体协同运算，仅用88小时便完成了核心证明思路的推导，随后耗时17小时利用Lean形式化证明系统完成验证，最终形成165页的详细论文与代码。这一成果若通过全球数学界严格评审，将成为继庞加莱猜想后第二个被解决的千禧难题。
纳维-斯托克斯方程作为描述流体运动的核心工具，广泛应用于气象预测、航空航天及工程仿真领域。其千禧难题的核心在于：当初始条件足够平滑且总动能有限时，流体速度是否会在有限时间内趋于无穷大，即产生“奇点”。OpenAI的证明首次明确指出，此类爆破奇点确实可能存在。这一结论颠覆了部分传统数学假设，引发学界高度关注。
据项目团队披露，此次运算消耗了近1300亿token的算力，总成本达数百万美元。为确保结果严谨性，研究团队不仅依赖AI的并行探索能力，还结合了形式化验证工具Lean，对每一步推导进行数学逻辑校验。这种“AI生成+人工验证”的模式，为复杂数学问题的研究提供了全新范式。
然而，这一成果尚未获得官方认可。克雷数学研究所表示，需经全球数学界同行严格评审后，方可判定证明是否成立并颁发100万美元奖金。目前，多位顶尖数学家对证明逻辑提出质疑，部分学者指出成果归属存在争议，另有专家就前期研究数据的版权问题表达担忧。数学界普遍认为，形式化验证虽能提升可信度，但AI生成的证明仍需人类数学家深度参与解读。
值得注意的是，OpenAI此前推出的GPT-6 Astra模型已在数学领域展现强大实力。该模型曾攻克5道由数学家保罗·埃尔德什（Paul Erdős）提出的未解难题，包括其18岁时提出的“解离集猜想”及极值图论中的“埃尔德什-索斯猜想”。这些难题困扰学界数十年，GPT-6 Astra的突破标志着AI在离散数学领域的能力迈入新阶段。此次纳维-斯托克斯问题的进展，进一步凸显了AI在推动数学前沿研究中的潜力。
