美国开放人工智能研究中心（OpenAI）近日宣布，其利用内部研发的先进模型成功攻克了数学与物理学领域长期悬而未决的难题——纳维-斯托克斯方程的存在性与光滑性问题。这一成果涉及描述三维流体运动的核心方程，被国际数学界列为“千禧年大奖难题”之一，其核心疑问在于：光滑的流体运动是否会在有限时间内出现“破裂”现象，即形成奇点。
据OpenAI披露，该证明由其最新模型生成，其能力远超此前发布的GPT-6 Astra版本。模型不仅提供了完整的解析证明，还通过Lean形式化验证工具确认了结果的严谨性。研究指出，纳维-斯托克斯方程描述的流体动力学演化过程中，确实可能在有限时间内形成奇点，具体表现为一种向内螺旋收缩的涡旋结构。这种涡旋在收缩过程中会逐渐被拉长，形态类似意大利面条，最终导致流体运动的不连续性。
纳维-斯托克斯方程自19世纪提出以来，一直是流体力学与偏微分方程领域的核心研究对象。其光滑性问题的解决不仅对数学理论发展具有里程碑意义，也可能为湍流研究、航空航天工程等领域提供新的理论工具。尽管OpenAI的成果尚未经过同行评审，但其通过形式化验证的方法为数学证明的可靠性提供了新思路。
值得注意的是，OpenAI明确表示不会为这一突破申领千禧年大奖的100万美元奖金。公司发言人称，此举旨在鼓励学术界与产业界的开放合作，避免将基础科学研究过度商业化。目前，相关研究论文已提交至数学预印本平台，等待全球学者的检验与讨论。
