流体力学中有这样一个问题：描述液体和气体运动的纳维-斯托克斯方程，是否总存在光滑、全局的解？这是数学界最著名的难题之一，被列入克雷数学研究所的"千禧年大奖难题"，悬赏一百万美元，与黎曼猜想、庞加莱猜想齐名。过去两百年里，无数顶尖数学家在这道题上折戟——如今，OpenAI 声称它的 AI 做到了。
9 月 8 日，OpenAI 发布了一份 166 页的数学证明，声称其未公开的模型通过约 1 万个 AI 智能体的协作，在 88 小时内生成了"纳维-斯托克斯存在性与光滑性问题"的解析证明，并附上了 Lean 形式化验证——一种由计算机检查每一步推理的严格验证框架。如果属实，这将是 AI 首次攻克千禧年大奖难题级别的数学问题。
但数学界的态度，从发布那一刻起就是谨慎的。克雷数学研究所仍将这一问题列为未解决，并强调官方认证流程尚未启动。争议的焦点主要有三：其一，证明的"credit 归属"存在分歧——AI 生成的证明是否算"人类解决"？这涉及奖项的颁发规则，克雷研究所历来只承认人类数学家的正式成果。其二，166 页的证明虽附有 Lean 验证，但验证本身针对的是 AI 内部的证明代码，数学界尚未独立复核其逻辑主线。其三，OpenAI 此前在数学能力宣传上有过争议先例——其模型曾被指在基准测试中"刷题"式地达到高分，而非真正理解数学。
OpenAI 的态度则相当高调。公司总裁布罗克曼在声明中称，这是"AI 在科学推理上迈出的重要一步"，并把它与公司的"递归自我改进"研究联系起来——如果 AI 能证明数学定理，它就能验证自己的推理，从而走向更强的自主性。内部演示视频中，模型展示了对非线性偏微分方程的多步推理过程，看起来确实与人类数学家的工作方式有几分相似。
对普通读者来说，这件事值得关注的地方不在于"谁拿了那一百万美元"，而在于它标志着一个趋势：AI 正在从"解方程的工具"变成"发现数学的人"。过去一年里，从菲尔兹奖得主陶哲轩公开使用 AI 辅助研究，到各大实验室把数学作为衡量模型推理能力的基准，AI 与数学的边界正在快速模糊。纳维-斯托克斯方程对工程意义重大——天气预报、飞机设计、洋流模拟全都依赖它——如果真的被严格证明，AI 的贡献无可否认。
不过，正如多位数学家提醒的：AI 生成的证明和人类认可的证明之间，隔着的不是计算力，而是可验证性与可理解性。一百万美元的支票能不能开出去，取决于克雷研究所的独立评审——那可能是比 88 小时更漫长的过程。