AI 破解了 90 年歷史的難題「納維-斯托克斯方程」?數學界震驚的原因

複雜數學公式與人工智慧網絡結構重疊的數位圖形
AI Summary

OpenAI 聲稱其 1 萬個 AI 智能體解決了 90 年來的難題「納維-斯托克斯方程」,但隨即引發數據挪用質疑,導致與數學界產生摩擦。

試想一下,過去 90 年來,有一個難題困擾著全球天才數學家。這個問題極其困難,任何人若能解決,就能獲得 100 萬美元(約 13 億韓元)的高額獎金。然而某天,一家人工智慧企業宣稱:「我們的 AI 軍團在 88 小時內解決了那個問題。」人們會感到狂熱,還是會感到困惑?

OpenAI 最近發布的「納維-斯托克斯(Navier-Stokes)方程」解決方案,在數學界引發的並非歡呼,而是激烈的爭論。AI 究竟是超越了人類的數學極限,還是剽竊了某人的努力成果?

這為什麼重要?

「納維-斯托克斯方程」是用於描述流體(水、空氣等)運動的關鍵公式,對於理解飛機如何飛行、颱風如何移動至關重要。該問題之所以被列為「千禧年大獎難題(Millennium Prize problems)」,是因為證明該方程的解是否存在以及是否平滑,是現代數學最大的難題之一。[參考資料: OpenAI fought dirty on career-making math problem… TechCrunch](https://techcrunch.com/2026/09/08/openai-fought-dirty-on-career-making-math-problem-says-nyu-mathematician/)

如果 AI 真的解決了這個問題,這將成為人類科學史上的一項偉大成就。然而,過程中關於挪用其他數學家研究成果的疑慮,再次將 AI 技術的倫理問題與數據來源透明度推向了風口浪尖。

簡單理解

簡單來說,OpenAI 就像雇用了 1 萬名「數學助理」並讓他們不間斷地進行計算。這裡的 1 萬名助理是指能夠自主執行任務的 AI 智能體。參考資料: Controversy erupts as OpenAI claims solution to Navier-Stokes maths…

這就像我們在堆疊複雜的樂高城堡時,有 1 萬人分工合作,在 88 小時內不眠不休地拼裝積木。[參考資料: OpenAI Says 10,000 AI Agents Solved Navier-Stokes… Yellow](https://yellow.com/news/openai-10000-agents-navier-stokes-dispute) 為了驗證這一龐大成果是否在數學上正確,他們使用了名為「Lean」的程式。Lean 是一種讓機器能夠自行驗證 AI 結果在邏輯上是否無懈可擊的語言。參考資料: OpenAI’s AI solved a math prize problem. The mathematician says it…

但如果這些「助理」偷看了研究者的練習冊並抄襲了答案呢?數學家崔斯坦·巴克馬斯特(Tristan Buckmaster)強烈懷疑他的研究筆記在 AI 學習過程中被秘密引用。參考資料: A Mathematician Working On The Navier-Stokes Millennium Prize…

現況如何?

OpenAI 官方全面否認挪用指控,聲稱「我們的研究團隊與智能體在公開之前,完全沒有接觸過外部的研究成果」。參考資料: A Mathematician Working On The Navier-Stokes Millennium Prize…

然而爭議並未輕易平息。雖然已發布消息稱 AI 在 88 小時內得出結果,並額外花費 17 小時進行驗證,但過程中使用了哪些數據、基於何種邏輯,依然籠罩在迷霧之中。[參考資料: OpenAI Says 10,000 AI Agents Solved Navier-Stokes… Yellow](https://yellow.com/news/openai-10000-agents-navier-stokes-dispute) 數學家們仍要求就數據來源給出明確解釋,與 OpenAI 展開了激烈的對峙。參考資料: The mathematicians published machine-checkable proofs. OpenAI…

未來展望

這起事件在開啟 AI 解決數學難題「新時代」的同時,也對「學術誠信」提出了根本性的質疑。未來,科學界的標準很可能不僅限於確認 AI 給出的答案是否正確,更會要求公開其推導過程中使用的「數據來源」。

我們現在所處的時代,已經超越了詢問 AI 是否聰明的階段,而必須詢問:「它是借用了誰的知識才變得如此聰明?」只有當技術發展能夠證明其過程的正當性,且成果同樣令人信服時,才能稱之為真正的科學進步。

人工智慧的觀點

人工智慧的數學成就在事實上令人驚嘆。然而,數學的核心不在於單純地找到正確答案,而在於通往答案的完美邏輯過程本身。若無法明確釐清數據來源的疑慮,這項成果除了讚美之外,將免不了遭到嚴格驗證。

參考資料

  1. Controversy erupts as OpenAI claims solution to Navier-Stokes maths…
  2. [OpenAI fought dirty on career-making math problem… TechCrunch](https://techcrunch.com/2026/09/08/openai-fought-dirty-on-career-making-math-problem-says-nyu-mathematician/)
  3. A Mathematician Working On The Navier-Stokes Millennium Prize…
  4. [OpenAI Says 10,000 AI Agents Solved Navier-Stokes… Yellow](https://yellow.com/news/openai-10000-agents-navier-stokes-dispute)
  5. OpenAI’s AI solved a math prize problem. The mathematician says it…
  6. The mathematicians published machine-checkable proofs. OpenAI…
  7. OpenAI claims to have solved Navier-Stokes math problem
AD
測試你的理解
Q1. OpenAI 在破解納維-斯托克斯問題時使用的核心工具是什麼?
  • 量子電腦
  • 1 萬個 AI 智能體
  • 傳統超級電腦
OpenAI 宣稱動員了 1 萬個 AI 智能體,在大約 88 小時內解決了問題。
Q2. 納維-斯托克斯方程所屬的七大難題被稱為什麼?
  • 菲爾茲獎問題
  • 千禧年大獎難題
  • 圖靈問題
納維-斯托克斯存在性與光滑性問題是克雷數學研究所懸賞 100 萬美元獎金的「千禧年大獎難題」之一。
Q3. 目前針對此項研究結果提出的最大疑慮是什麼?
  • AI 計算錯誤
  • 是否挪用個人研究數據
  • 獎金分配問題
數學家崔斯坦·巴克馬斯特(Tristan Buckmaster)質疑 OpenAI 可能未經授權引用了他的研究筆記,對數據來源提出質疑。