OpenAI解决错了纳维-斯托克斯问题？

OpenAI上周宣布用内部大语言模型证明了千禧年大奖难题之一的纳维-斯托克斯方程问题，这本该是值得百万美元奖金的突破。但数学界很快发现，这个证明可能钻了一个有争议的空子——它解决的并不是大多数人真正关心的那个问题。 事情要从纳维-斯托克斯方程本身说起。这组方程描述的是水、空气等流体的运动方式，而百万美元悬赏的核心问题是：方程是否会出现“爆破”，也就是在某个点上流速变成无限大——这在现实世界中不可能发生。关键在于，方程中有一项是“可选”的，即外部作用力，比如重力。大多数数学家研究这个问题时，关注的是不含外力的“纯粹”版本，希望仅靠流体内部的力量就能推导出爆破。而OpenAI的证明恰恰依赖了一个精心构造的外部力来触发爆破。芝加哥大学数学家Luis Silvestre直言：“最重要的问题仍未解决。克雷问题算是解决了，但纳维-斯托克斯方程的核心问题没有。” 更关键的是，上周四三位数学家发布了自己的证明，表明OpenAI的方法永远无法扩展到完整问题——除非出现全新的思路，这个漏洞不可能被补上。这意味着OpenAI的成果虽然在技术上符合克雷研究所的悬赏条件，却与数学界真正想攻克的难题之间存在一道无法逾越的鸿沟。对于关注AI在基础科学中角色的从业者来说，这件事提出了一个值得警惕的问题：当AI公司急于宣布“攻克难题”时，它们解决的究竟是问题本身，还是问题表述中的一个技术性缺口？