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