克雷数学研究所（CMI）最近发表声明，认为纳维-斯托克斯问题“显然已被解决”。这一问题是2000年在巴黎发布的七个千禧年大奖难题之一，每道题目奖励100万美元，主要探讨的是三维流体运动方程是否总存在平滑且完整的解。研究所期待随着对这一创新工作的深入分析，能够激发出新的理解。目前该解答正在进行审查。

尽管研究所强调审查过程缓慢，但承诺会保持信息更新。他们指出，新技术正在加速数学研究，使得人们对成果的期待感日益增强。这一背景下，人工智能工具逐渐被引入数学证明的验证过程，而机构仍在保持传统的审查流程。

然而，该解答的来历并不平坦。数学家Tristan Buckmaster指控OpenAI在获知关于他研究的传闻后，将资源转向该问题，利用他的草稿进行训练，并拒绝为他的合作者Levent Alpöge署名。支持者认为，AI参与数学证明是效率提升的体现，而反对者则认为，如若训练数据和署名争议属实，成果的归属便存在问题。 球友会官网

在评审结果未出之前，数学界的对错和程序上的对错是不应混淆的。克雷研究所未公布审查时间表，仅表示会持续更新进展。经过二十多年的悬而未决，这个问题引出了新的挑战：在AI介入解决千禧年难题的情况下，谁来定义“解决”这一关键概念。