OpenAI宣布其内部AI系统完成了对纳维-斯托克斯存在性与光滑性问题的证明，这一难题已有约90年历史，并位列克雷数学研究所七大千禧年大奖难题。该模型的研究结论是，光滑的三维流体动力学可以发展出有限时间奇点，意味着某些初值下纳维-斯托克斯方程的光滑解会在有限时间内爆破，而非全局光滑存在。OpenAI表示，系统同时产出了解析证明和基于Lean的形式化验证，从数学推导与机器可检查证明两个层面给出支撑。若该结果通过数学界审查，将标志着AI在深度数学推理和形式化证明领域迈出重要一步，并对流体力学、偏微分方程及计算物理产生深远影响。