OpenAI 官网发布了一篇题为《On the Navier–Stokes Millennium Prize Problem》的文章，分类为论文。截至发稿，除标题与链接外，官方尚未公开更多细节，因此该文究竟是对问题本身的综述、对某一技术路线的讨论，还是宣称取得实质进展，仍需待全文披露后确认。
纳维–斯托克斯方程描述黏性流体的运动，是流体力学、气象预报、航空航天与工程仿真的基础模型。在三维情形下，"解是否始终存在且光滑"被列为七个千禧年大奖难题之一，悬赏一百万美元。问题的核心在于：给定光滑初值与外力时，方程是否存在全局定义、且不会在有限时间内出现奇点的光滑解。二维情形早已得到证明，三维情形至今没有定论。
这个问题之所以重要，在于它并非纯粹的数学游戏。湍流、奇点形成与能量级串的数学刻画，直接关系到数值模拟的可信边界。若以机器学习或形式化方法参与此类问题，其常见价值并不在于"直接给出证明"，而在于寻找反例、探索奇点形成的候选路径，或对已有证明思路做形式化验证。
对 AI 从业者而言，更值得关注的是方法层面：大模型与自动定理证明、符号计算结合，能否在长期未解的数学问题上给出可被同行检验的贡献。在全文公开与同行评议结论出现之前，宜保持谨慎。