OpenAI于9月8日发布一份166页的纳维-斯托克斯方程证明，称内部模型在约88小时内完成求解，并公开使用Lean形式化验证语言编写的证明；其研究团队称使用约1万个AI智能体，随后用约17小时完成形式化及验证。
数学界审查后提出质疑。数学家贡萨洛·曹-拉博拉称，OpenAI证明细节与迭戈·科尔多瓦、路易斯·马丁内斯-佐罗亚的方法路线不同，相似可能停留在表面；多组专家向《科学美国人》表示，OpenAI的证明未遵循“西班牙路线”。
《科学美国人》称，该证明利用外部力项构造流体速度有限时间无界增长，但未解决不施加外部力时三维方程解是否始终光滑的问题。纽约大学数学家特里斯坦·巴克马斯特质疑成果归属，OpenAI否认使用其数据；OpenAI研究员诺姆·布朗估计多智能体协作贡献可能不到10%。