背景：125万美元悬赏的世纪难题，疑似落幕
2026年9月11日，Clay 数学研究所（CMI）发布了一则措辞极为克制的公告：千禧年大奖难题之一的纳维-斯托克斯方程（Navier-Stokes）问题”显然已被解决”（has apparently been settled）。全文没有提及任何解决者的名字——但 HN 讨论普遍指向 OpenAI 的 AI 系统，并提到一场正在进行的归属权争议和一封菲尔兹奖得主的公开信。
千禧年大奖难题于2000年在巴黎公布，CMI 为七大难题各悬赏100万美元，目的是让公众意识到”数学的前沿是开放的、近在咫尺的”，并表彰历史性量级的成就。此前唯一被官方确认解决的是庞加莱猜想（Perelman，2010年颁奖被拒）。
公告本身：一份”无菌”的中立声明
CMI 的公告堪称机构写作的典范——HN 用户的评价是”如此无菌，甚至不提是谁解决的，’OpenAI’一词完全没有出现”。公告回顾了奖项设立的三个目的，强调近年周边领域的突破（部分曾获 Clay 研究奖）让学界预期该问题”可能很快被解决”，并意味深长地加了一句：“新技术加速数学研究的能力不断增强，加剧了这种期待。”
关键句是那个” apparently（显然）”——正如一位评论者所说，”这个 apparently 感觉是承重的”。CMI 同时强调：评奖规则决定了评估过程”刻意从容”（deliberately unhurried），会在之后提供更新。有熟悉规则的用户指出，官方确认时钟要在论文发表于合格同行评审期刊后才开始计时，因此这份公告更像是回应媒体问询、表明”我们没有回避”，而非正式启动程序。
这个问题为什么值100万美元
纳维-斯托克斯方程描述流体运动，从天气到血管血流无处不在。200年前的方程，工程师天天在用，但数学家至今无法回答一个根本问题：在三维空间中，给定平滑的初始条件，解是否永远保持平滑？还是会在有限时间内”爆破”（blow-up）出无穷大的奇点？这不是纯数学洁癖——湍流这个”经典物理学最后的未解之谜”就藏在方程深处。如果爆破被证明存在（或被排除），都将从根本上重塑我们对流体建模的理解。
AI 解决数学难题？争议的核心
如果 HN 讨论的指向属实，这将是 AI 系统首次在千禧年难题上取得决定性成果，其象征意义远超定理本身。但归属争议随之而来：AI 生成的证明，功劳归谁？是构建系统的团队、提供关键思路的数学家，还是系统本身？据传菲尔兹奖得主的公开信正是就此发声——这也解释了 CMI 为何在公告中对解决者只字不提。规则写得明白：评审过程不慌不忙，归属认定自有章程。在数学界消化”机器证明”的时代意义之前，机构选择先站回程序正义。
社区反响：为”人味”公告点赞
一个意外的亮点是公告的文风收获大量好评：”不知为何我特别喜欢这种写作风格——模糊与自信的罕见结合”、”我敢猜这100%是真人写的，这年头越来越稀有”、”乐观且立足于求知。我们太容易陷入对人的怀疑与厌恶，而这则公告把我们拉向另一个方向：在宏大叙事里，人类正在解决前沿问题，有人做到了，这很了不起。”也有人对 CMI 的等待时机表示赞赏：”等戏剧性的争议平息后再发一份完全中立的声明，聪明的做法。”
原文链接
原文：Navier-Stokes Announcement — Clay Mathematics Institute
HN 讨论（249条评论）：Hacker News