OpenAI 千禧年难题证明反转：其未理解模型所用方法

OpenAI 关于纳维-斯托克斯方程的千禧年难题证明出现反转，此前各方包括 OpenAI 自身都认为该证明沿用了两名西班牙数学家提出的研究路线，后续数学家深入研究后发现，最终证明采用的是完全不同的构造外力的方法，甚至 OpenAI 自己也没搞懂自家 AI 模型得出该证明的具体路径。该证明通过构造特殊平滑外力，证明三维流体可在有限时间内发生爆破，符合克雷数学研究所相关命题要求，但尚未解决无外力版本的相关问题。目前该证明的形式化代码可验证推导逻辑成立，但人类尚未完全理解其中的数学思想，AI 产出数学证明的速度已远超人类理解消化的速度，这一矛盾在此次事件中充分暴露。