争议焦点：证明的对象是什么

此次争议的起因是OpenAI方面公布的、与其AI模型相关的纳维-斯托克斯方程相关成果。纳维-斯托克斯方程是描述流体运动的经典方程组，其解的存在性与光滑性证明被列为七大千禧年难题之一。

然而，争议的焦点并不在于成果的数值表现，而在于其证明的“问题设定”。批评者指出，该成果所处理的版本，并非克雷研究所所定义的、数学家们长期试图攻克的那个问题。换言之，即便相关成果成立，也不等同于解决了悬赏难题本身。

问题设定差异：核心分歧所在

千禧年版本的纳维-斯托克斯问题要求证明三维不可压缩流体在特定初始条件下，解的全局存在性与光滑性（或构造出反例）。而据批评者的说法，OpenAI相关成果所针对的是经过修改或限定条件的版本，其难度和数学意义与原版问题不在同一层面。

截至目前，OpenAI方面并未就“该成果是否等同千禧年难题的解答”这一质疑作出可确认问题的明确回应，相关成果的实际数学地位仍存在不确定性。

AI数学证明的边界

这一事件也再度凸显了AI在数学证明领域成果的评估难题：一个技术上演示成功的证明，未必对应着学术界公认的核心问题。数学界对AI辅助证明的接受，通常还需经过严格的同行评议与形式化验证，而这一流程在快速发布的成果中往往尚未完成。

就目前公开的信息而言，OpenAI的成果在流体方程相关研究上具有进展意义，但与千禧年难题的解决是两回事。综合来看，关于此次「证明」的争议，各方说法各有依据，结论只能认定为：部分属实

Verdict: 部分属实