克雷数学所官宣:Navier-Stokes显然解决

时间：2026年9月11日 地点：美国剑桥（Clay Mathematics Institute，CMI） 人物：Clay 数学研究所 CMI、OpenAI 团队、数学家 Tristan Buckmaster（Levent Alpöge） 事件详情：CMI 于 9 月 11 日发布官方声明，宣布千禧年七大百万美元难题之一的 Navier-Stokes 存在性与光滑性问题"apparently been settled（显然已被解决）"。声明指，该问题所要求的 Clay alternatives C 与 D 已被构造——即在三维空间允许光滑强迫项条件下，Navier-Stokes 方程存在有限时间 blowup（奇点）。证明与 Lean 形式化已在 GitHub 公开，CMI 表示评审与归属确认"deliberately unhurried（刻意不急）"。 背景：Navier-Stokes 方程描述流体运动，3D 全局正则性猜想提出至今已超 90 年。9 月 8 日，OpenAI 内部研究系统宣称用一万个智能体在 88 小时内完成证明。CMI 当日即表示"increasing ability of new technologies to accelerate mathematical research has heightened this sense of anticipation"，但未立即承认。9 月 11 日 CMI 正式称"apparently been settled"，但同时强调这并非奖项授予，亦非对证明的最终验证。 影响：百万美元奖金归属与论文署名尚未确认，CMI 仍按其"刻意不急"流程推进评审。学界争议同步升级：Anthropic 数学家 Tristan Buckmaster 公开指控 OpenAI 在他本人研究泄露后转移资源攻关，使用其草稿作为训练数据，并拒绝其在 Anthropic 任职的合著者 Levent Alpöge 列入论文作者。CMI 在声明中暗示"技术创新带来的数学研究加速"使此类争议更易发生。该进展将人工智能辅助数学证明由"工具"推至"解题主体"位置，但强迫 blowup 是否真正关掉 unforced 3D 全局光滑性问题仍待严格审查。 总结：CMI 首次以"显然已解决"措辞为千禧年难题背书，但百万奖金与署名归属仍悬而未决；OpenAI-AI 智能体证明与人类数学家之间的伦理与训练数据争议同步浮出水面，预示 AI 加速数学研究正进入"贡献与归属"双轨博弈阶段。 参考来源：https://www.claymath.org/news/navier-stokes-announcement/ 参考来源：https://the-decoder.com/clay-mathematics-institute-says-the-navier-stokes-millennium-prize-problem-has-apparently-been-settled/ 参考来源：https://navier-stokes.org/navier-stokes-existence-and-smoothness/ 参考来源：https://en.wikipedia.org/wiki/Millennium_Prize_Problems 参考来源：https://www.venture-pitch-online.com/en/news/clay-math-navier-stokes-settled 参考来源：https://techandbusiness.org/newswire/9tC3tG0jyZs5D7kkiJu48h 参考来源：https://x.com/Math_files/status/2099208844295757854