克雷数学研究所（CMI）正式就纳维-斯托克斯问题表态了。这个2000年在巴黎公布的七个千禧年大奖难题之一，每道悬赏100万美元。问题本身问的是：描述三维空间流体运动的方程，是否总存在光滑且完整的解。

研究所的说法是，"纳维-斯托克斯问题似乎已经被解决"，并希望"随着这项工作背后的创新被分析和审视，能看到人类理解的新浪潮被释放出来"。目前这份解答正在评审中。

打开网易新闻 查看精彩图片

评审为什么快不了

克雷研究所写道："这个过程刻意不赶时间，但我们会提供进展更新。"研究所同时提到，"新技术加速数学研究的能力不断增强，加剧了这种期待感"。

这句话放在平时只是客套，放在眼下却指向一个具体的背景：AI正在被卷入数学证明的验证与生成流程，而这次争议恰恰就出在这里。

解答之外，还有一场署名之争

这份潜在解答伴随着一场激烈的争端。数学家Tristan Buckmaster指控OpenAI：在他研究的风声泄露之后，OpenAI把资源转向了这个难题；他的草稿被用作了训练数据；而他的合著者Levent Alpöge——任职于Anthropic——被排除在作者名单之外。

正方看到的是AI加速数学的可能性，反方看到的是研究优先权与数据来源的边界问题。克雷研究所没有就这场争端表态，它只说了两件事：问题似乎被解决了，评审会慢慢来。

至于那100万美元最终归谁，以及"似乎"两个字会不会被改掉，现在都还没有答案。