RecodeX 重构消息，OpenAI动用约一万个AI智能体，耗时88小时完成一份166页的纳维-斯托克斯方程千禧难题证明，随后又用17小时将其翻译为Lean语言，交由机器逐行检查，整体算力成本高昂。

论文公布近七周后，偏微分方程领域专家才逐步读懂其思路。该证明未超出人类理解范围，核心创新在于利用流体自身的不稳定性自发产生所需小波动，构造出满足苛刻条件的光滑外力，实现有限时间内的流体奇点，这一组合思路此前无人提出。

目前已有国内数学家发布解读并重写部分内容，也有研究者指出原稿与Lean形式化版本的部分陈述推导存在差异，尚不能完全确认证明正确性。克雷研究所仍将该问题列为进行中，OpenAI表示不申领百万美元奖金。