图片：METAL
摘要
- 克雷数学研究所首次就纳维-斯托克斯问题发表正式声明。
- 声明里既没有 OpenAI 也没有任何人名，提到 AI 时只用了"新技术"一词。
- 奖金规定要求在合格刊物上发表、发表满两年、并获得数学界的普遍接受。
数学界最昂贵的那道题被解开的消息传开后，出题的机构终于开口了。克雷数学研究所 9 月 11 日在官网发布题为《纳维-斯托克斯声明》的文章，写道："今天，CMI 与全球数学界共同分享这份激动，我们正在审视纳维-斯托克斯问题看来已被解决这一宣告。"然而全文没有一处写明是谁解开的。没有人名，没有公司名，也没有论文标题。
先从问题本身说起。纳维-斯托克斯问题追问的是，描述三维欧几里得空间中流体运动的方程，其解是否存在，以及这个解是否始终保持光滑。克雷数学研究所在 2000 年巴黎那场名为"数学思想的普遍性"的会议上公布了包括它在内的千禧年问题，每题悬赏 100 万美元。声明中再次写道，这些题目不是像刁钻填字游戏那样的随意谜题，而是标记人类知识边界的根本性挑战。
有奖金的地方就有规定，而这套规定才是这则消息真正的骨架。按 2018 年 9 月 26 日修订的千禧年奖规定，一个被提出的解法要成为评奖对象，必须同时满足三项条件：在合格的学术刊物上发表；自发表之日起至少经过两年；并获得全球数学界的普遍接受。三项中缺任何一项，评审都不会启动。
还有一条。研究所在规定中明确写着，不接受解法的直接提交。也就是说，根本不存在一个可以递材料领奖的窗口。研究所还写道，规定文件是规则与程序的完整陈述，除此之外不提供任何进一步的指引或建议。裁判站在场外，而比赛是否结束，先由数学界来判断。
整篇声明中指向 AI 的句子只有一句。研究所先写道，近年来周边领域的突破让人越发期待这个问题可能很快被解决，接着补上一句："新技术加速数学研究的能力不断增强，使这份期待更高了。"没有公司名，也没有模型名。这是一个管理着 100 万美元的机构所能给出的最谨慎的表述。
研究所没有点的名字其实早已公开。OpenAI 于 9 月 8 日在自家网站发布《关于纳维-斯托克斯千禧年问题》一文，宣布其内部系统同时给出了解析证明与 Lean 形式化，解决了这一问题。公司表示使用了一个能力显著强于 GPT-6 Astra 的内部模型，该模型的训练始于 8 月 28 日，并同时公开了证明 PDF 与存放 Lean 形式化证明的 GitHub 仓库。
描述规模的那一段尤其引人注目。据 OpenAI 所述，这项工作由约 1 万个智能体同时运行、分成若干组相互沟通的多智能体体制推进，产出纳维-斯托克斯结果的那一组运行了约 88 小时，往来消息 270 万条，消耗输出 token 约 1300 亿个。这与一位数学家在纸上写下的分量，已不是同一个量级。
证明说出的内容并不是乐观的那一面。OpenAI 解释说，它证明了最初光滑且静止的流体可以在有限时间内产生奇点。漩涡的生长方式被描述为"像意大利面一样越拉越长并向内旋转"，于是在能量与外力都有限的情况下，速度仍会飙向无穷。问题是朝着光滑性被打破的一侧闭合的，而不是朝着光滑解始终存在的一侧。
同一时期，另一家公司也闭合了一个相邻问题。OpenAI 的文章写道，Levent Alpöge 与纽约大学数学教授 Tristan Buckmaster 使用 Anthropic 的内部模型，独立解决了受迫欧拉问题。METAL 曾报道 Buckmaster 就发布前一天那通电话所作的表态。两家公司的模型在同一周各自闭合了两个相邻的问题。
因此声明中最重的一句不是关于奖金，而是关于功劳归属。研究所写道："管辖奖项的规定描述了评估已取得何种成就并分配功劳的程序"，随后补上："这一程序刻意不急于求成，但我们会持续通报进展。"特意搬出"分配功劳"这个说法，意味着研究所清楚这件事的症结正在这里。METAL 曾报道称，OpenAI 发布后随即爆发了优先权之争。
"普遍接受"这一条更耐人寻味，因为机器无法代劳。用 Lean 形式化的证明，计算机可以逐步机械地核验其为真，但规定要求的不是核验，而是接受。数学家们要读懂它、理解它，并能用自己的语言重新讲述，才算是被这个共同体接纳。研究所写下的那句"我们期待随着这项工作背后的创新被分析与追问，新的人类理解将如浪潮般涌现"，指的正是这个位置。
数学界将如何迎接这项技术，信号已经出现。METAL 曾报道称，25 位菲尔兹奖得主在一份向 AI 公司划清界线的宣言上署名。研究所所说的周边领域的突破也并非抽象之谈。2026 年 7 月 23 日在费城举行的国际数学家大会上，邓煜凭偏微分方程方面的工作获得菲尔兹奖，他还与 Zaher Hani 共同获得 2026 年克雷研究奖。
把规定原文与声明并排来读，就能看出时钟在哪里转动。规定中的两年，不是从论文上网那天算起，而是从在合格学术刊物上发表那天算起。OpenAI 公开的是自家网站上的 PDF 与 GitHub 仓库，因此发表的时钟根本还没有启动。研究所两次写下"不急于求成"，不是谦辞，而是对程序的说明。
裁判惜字如金，留下的是一个先后次序。机器交出了证明，规定要求刊物、两年与接受，而接受要靠人去读才会产生。排在"100 万美元归谁"之前的问题，是人能否消化这份证明；研究所把这份作业交给了整个共同体。一份没有点名的声明不是沉默，而是一道通知：在开始判定之前，先把规则读一遍。
评论