AI 解决了百年数学难题？“纳维-斯托克斯”方程破解背后的真相

想象一下。有一个困扰了全球顶尖数学家数十年，甚至近一个世纪的巨大谜题。由于无人能解，数学界承诺为解决该问题的人提供 100 万美元（约合 13 亿韩元）的奖金。那么，如果有一天，不是人类，而是一支“AI 军团”在短短 88 小时内就破解了这个谜题，你会作何感想？

OpenAI 最近向世界宣布了这一惊人事件。2026 年 9 月 8 日，OpenAI 宣布发现了人类近百年来一直未能解决的数学难题之一——“纳维-斯托克斯（Navier–Stokes）问题”的证明 [出处 4, 出处 17]。

这为何重要？

纳维-斯托克斯问题是数学界七大“千禧年大奖难题（Millennium Prize Problems）”之一。简单来说，这是一个非常困难的问题：它询问描述水或空气等流体流动的方程在数学上是否完美，即计算过程中是否会出现数值趋于无穷大的“数学崩溃（奇点，singularity）” [出处 9, 出处 12]。

如果这个问题得到彻底解决，飞机设计、气象预测、新药研发等所有涉及流体力学的领域都将实现飞跃式发展。特别是此次发布，标志着 AI 不再仅仅局限于写作或绘画，而是开始直接解决人类知识最前沿的数学难题，这在科学界引起了巨大轰动 [出处 11]。

通俗理解：1 万名“AI 研究生”的协作

为了理解这件事，请想象一个巨大的“团队项目”。可以认为有 1 万名极其聪明的研究生，每个人各负责一小块拼图，通宵达旦地完成了整幅画作。

OpenAI 使用了比现有的 GPT-6 Astra 模型强大得多的内部系统，该系统组织了 1 万个“自主 AI 智能体（autonomous AI agents，能够自行判断并执行特定任务的 AI 系统）” [出处 11, 出处 13]。这些智能体就像无数精密啮合运转的齿轮一样通力协作，处理了数十亿条数据，最终得出了证明 [出处 15]。

特别是，此次证明是以“Lean（用于验证数学证明的软件）”这一工具可以由计算机直接检查错误（形式化）的形式完成的 [出处 4, 出处 10]。也就是说，即便人类不逐一检查计算过程，这种计算机语言形式的成果也能保证其数学上的有效性。

现状：荣誉背后的争议

然而，并非一切都得到了完美的赞誉。在这个巨大的成就背后，也伴随着令人苦涩的争议。因为一些数学家质疑 OpenAI 可能在未给予适当致谢（引用或提及）的情况下，在证明过程中使用了他们的前期研究 [出处 16]。OpenAI 目前正在官方审查此事，虽然这一成果无疑是技术上的重大突破，但要完全获得学术界的信任，如何解释这些抄袭质疑仍是一个重要的课题 [出处 7]。

未来将会如何？

这次发布可能是 AI 时代的新序幕。因为未来 AI 极有可能跨越数学，逐一解决物理学、化学等其他领域的复杂难题。如果这次证明最终得到数学界的认可，那它不仅是 100 万美元奖金的问题，更意味着“AI 代替人类解决重大难题的时代”已经开启 [出处 12]。我们所有人都应拭目以待，看看未来 AI 提出的证明以及为该过程做出贡献的人类研究人员的努力，将如何公平地共存并得到评价。

参考资料

1. [Source 4] OpenAIandNavier-StokesExplained! A Million Dollar MathProblem (https://www.youtube.com/watch?v=SL2ODSJP708)
2. [Source 7] OpenAI’s Big Math Breakthrough Claim Sparks Drama - Business Insider (https://www.businessinsider.com/openai-navier-stokes-math-breakthrough-drama-2026-9)
3. [Source 8] Drama swirls around OpenAI’s legendary mathematical milestone (https://www.theverge.com/ai-artificial-intelligence/991710/openai-navier-stokes-solution)
4. [Source 9] OpenAI Says Internal AI System Resolved the Navier–Stokes Problem (https://www.unite.ai/openai-says-internal-ai-system-resolved-the-navier-stokes-problem/)
5. [Source 10] OpenAI says 10,000 AI agents solved Navier-Stokes in 88 hours (https://runtimewire.com/article/openai-10000-ai-agents-navier-stokes-proof)
6. [Source 11] OpenAI on X: “We’re sharing a solution to the Navier-Stokes …” (https://x.com/OpenAI/status/2097374640582668336)
7. [Source 12] OpenAI AI solves Navier-Stokes Millennium Prize Problem (https://tech.yahoo.com/ai/articles/openai-ai-solves-navier-stokes-174801155.html)

8. [Source 13] OpenAIclaims to have solved mathsproblemthat…

   The Guardian (https://www.theguardian.com/science/2026/sep/08/openai-claims-to-have-solved-maths-problem-that-stumped-humans-for-decades)

9. [Source 14] OpenAIclaims to have solved the difficult mathematicalproblemof… (https://gigazine.net/gsc_news/en/20260909-openai-navier-stokes/)
10. [Source 15] Next-genOpenAImodelsolvesNavier-Stokes… - India Today (https://www.indiatoday.in/technology/news/story/next-gen-openai-model-solves-navier-stokes-millennium-challenge-mathematicians-hint-ai-stole-their-work-2990400-2026-09-09)
11. [Source 16] Math breakthrough claim byOpenAIsparks credit dispute (https://www.usatoday.com/story/tech/2026/09/08/openai-navier-stokes-breakthrough/91664870007/)
12. [Source 17] OpenAIclaims breakthrough on century-oldNavier-Stokesmaths… (https://www.thenews.com.pk/latest/1415458-openai-claims-breakthrough-on-century-old-navier-stokes-maths-problem)