克雷研究所：纳维-斯托克斯问题"显然已被解决"

克雷数学研究所（CMI）正式就纳维-斯托克斯问题表态了。这个问题是2000年在巴黎公布的七个千禧年大奖难题之一，每道题悬赏 100万美元 。它问的是：描述三维空间流体运动的方程，是否总存在光滑且完整的解。 研究所的说法是，纳维-斯托克斯问题"显然已被解决"。他们希望"随着这项工作背后的创新被分析和审视，能看到一波波人类新理解被释放出来"。目前该解答正在评审中。 评审为什么快不了 克雷研究所写道："这个过程是刻意不慌不忙的，但我们会提供最新进展。"研究所同时提到，"新技术加速数学研究的能力不断增强，让这种期待感更加强烈。"这句话点出了一个背景：AI工具正在进入数学证明的验证环节，但机构层面依然按老规矩走流程。 解答背后有一场难看的争执 这个潜在解答并非风平浪静。数学家 Tristan Buckmaster 指控OpenAI：在关于他研究的传闻泄露后，把资源转向了这个难题，将他的草稿用于训练数据，并拒绝让他的合著者 Levent Alpöge （就职于Anthropic）署名。 正方会说，AI介入数学证明是效率的胜利，研究所的表态本身就是一种认可；反方会说，如果训练数据和署名争议属实，那这项成果的归属链条就是断裂的。我的判断是：在评审结果出来之前，数学上的对错和程序上的对错是两条独立的线，后者不会因为前者成立就自动消失。 克雷研究所没有给出评审时间表，只承诺会更新进展。这道题悬了二十多年，现在它悬在了另一个问题上：当AI开始参与解决千禧年难题，谁来定义"解决"这件事本身。 特别