AI解决了166页的数学难题？“纳维-斯托克斯”与“Lean”的登场

试想一下，如果有一个巨大的谜题，几百年来世界顶级的天才数学家们都在钻研却依然无法解开。这不仅仅是在纸上乱涂乱画，它掌握着解释我们日常生活中流体（如液体或气体等流动物质）运动的核心钥匙，比如我们每天饮用的水、飞机周围的空气流动。然而有一天，一个非人类的生成式人工智能（AI）拿出了厚达166页的解答。我们真的可以完全信任这份答案吗？

OpenAI最近发布的消息不仅让数学界，甚至让全球科技领域都为之震动。因为他们发布了对数学界七大“千禧年大奖难题”之一——“纳维-斯托克斯方程（Navier-Stokes equations）”的证明 [参考资料 1, 参考资料 14]。

为什么这个问题如此重要？

“纳维-斯托克斯方程”是现代物理学和工程学中最重要的工具之一。它被用于预测飞机的飞行效率以及气候变化的演变。然而，这个公式是否在数学上完全可验证，即在任何情况下是否总是存在解，却是过去几十年未解的难题 [参考资料 2, 参考资料 4]。

如果AI确实证明了这一点，其意义远不止是解开了一道难题。它展示了AI能够超越人类直觉，在逻辑推演领域取得卓越成就 [参考资料 13]。

通俗解释：Lean是数学界的“严苛会计师”

此次发布中，最值得关注的不仅是AI撰写的166页论文本身，而是用于验证该论文是否无误的工具——“Lean” [参考资料 6, 参考资料 15]。

我们可以做一个类比：假设某公司处理了一笔极其复杂的会计业务。仅仅展示一本166页的账本并宣称“我们公司财务非常稳健”是不够的。这时，需要进行公正且严格的“外部审计”。

在数学中，“Lean”（计算机证明辅助工具）扮演的正是那位会计师的角色。人类撰写的论文有时难免会存在逻辑跳跃或失误。但使用Lean等工具时，数学证明的所有步骤都会被翻译成计算机可以理解的语言。接着，机器会严格打分并判断：“这一步在逻辑上是完美的”。换句话说，计算机亲自重新批改了AI撰写的答卷，过滤掉了其中的错误 [参考资料 5]。

现状：证明了什么？

OpenAI的AI模型声称已从数学上证明，在处理三维流体流动的方程中，可能会发生“奇点（Singularity，即数学描述崩溃并趋于无限大的点）”。简而言之，流体在平时看起来虽然平滑流动，但在特定条件下，受限于方程本身的局限性，可能会出现数学上的崩溃现象 [参考资料 8, 参考资料 14]。

不过，OpenAI明确表示无意就此研究成果申请数学界的千禧年大奖。他们通过此次发布，致力于展示其AI模型在逻辑推演方面所能达到的水平及其可能性 [参考资料 4, 参考资料 15]。

未来会有什么改变？

这一成果是否会被公认为数学界的永久标准答案尚不得而知。学术界预计将针对该论文的逻辑结构提出多种见解，并持续进行激烈的验证过程 [参考资料 3, 参考资料 6]。

但有一点是肯定的：我们已经进入了“AI做数学”的时代。未来，当科学家们攻克难题时，AI将成为他们身边能够捕捉逻辑漏洞、执行复杂计算的强大伙伴。数学不再是人类独自进行的孤独斗争，而是正在扩展为一个由人类与AI共同验证、携手迈向真理的协作领域。

参考资料

1. OpenAI Claims Navier-Stokes Millennium Prize Solution
2. The part of Navier-Stokes no one is talking about

3. [AI Daily

   OpenAI Navier-Stokes Millennium Proof…

   Communeify](https://www.communeify.com/en/blog/ai-daily-2026-09-09/)

4. OpenAI Says Internal AI System Resolved the Navier-Stokes Problem
5. OpenAI faces scrutiny over Navier-Stokes problem claims as…
6. OpenAI’s Navier–Stokes Proof Claim: Evidence and Dispute
7. Did OpenAI Actually Solve Navier-Stokes? - YouTube
8. Navier–Stokes Millennium Prize problem: finite-time breakdown with smooth forcing

9. [OpenAI’s Navier–Stokes Claim: The Proof, the AI, and the Fight

   The Neuron](https://www.theneuron.ai/news/inside-openais-navierstokes-claim-the-proof-the-ai-effort-and-the-credit-fight/)

10. [OpenAI’s claimed Navier-Stokes proof raises the ceiling for AI research

    The Rundown AI](https://www.therundown.ai/news/openai-navier-stokes-proof-internal-ai-model)

11. OpenAI Says Its AI Agents Solved the Navier-Stokes Millennium Prize Problem
12. OpenAI publishes its Navier-Stokes proof and says it will not claim the Millennium Prize