AI 破解了百年數學難題?「納維-斯托克斯」問題解決方案的真相

抽象表現複雜流體力學方程式與數位網絡連結的影像
AI Summary

OpenAI 宣布動員 1 萬個 AI 代理程式,在 88 小時內解決了數學難題「納維-斯托克斯」問題,然而學界隨即引發了抄襲指控等爭議。

想像一下,有一個困擾全球頂尖數學家數十年,甚至近乎一個世紀的巨大難題。由於一直無人能解開其中的奧秘,數學界曾承諾給予解決此問題的人 100 萬美元的獎金。然而,如果有一天,一群「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(驗證數學證明的軟體)」的工具,以電腦可直接驗證(formalization)其無誤的形式完成的 [出處 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)
AD
測試你的理解
Q1. OpenAI 此次宣稱解決的數學難題名稱為何?
  • 費馬最後定理
  • 納維-斯托克斯問題
  • 黎曼猜想
OpenAI 於 2026 年 9 月 8 日宣布解決了處理流體與氣體流動的「納維-斯托克斯」問題。
Q2. 此次證明過程共動用了多少個 AI 代理程式?
  • 100 個
  • 1,000 個
  • 10,000 個
OpenAI 表示,1 萬個自主 AI 代理程式透過協作,在 88 小時內導出了證明。
Q3. 目前與此項發表相關,數學界提出的主要爭議為何?
  • 發生計算錯誤
  • 抄襲及侵犯著作權嫌疑
  • 獎金分配問題
部分數學家對 OpenAI 是否在未給予適當貢獻標註(Credit)的情況下使用了他們先前的研究提出了質疑,從而引發了抄襲爭議。