AI 破解了 80 年難題？納維-斯托克斯方程式爭議始末

想像一下，過去 80 年來一直困擾著世界頂尖數學家的難題。只要能解開此題，即可獲得 100 萬美元的獎金。然而某天，我們常用的 AI 模型遞出一份證明書，聲稱「我解開了」。難道 AI 真的一次解決了人類數學家數十年的苦惱嗎？

近日，OpenAI 宣佈其未公開的內部 AI 模型已解決數學界七大千禧年大獎難題之一——「納維-斯托克斯方程式（Navier–Stokes existence and smoothness）」問題 [出處 13]。然而，全球數學界對此反應冷淡，反而充滿了質疑與擔憂。

為何這很重要？

「納維-斯托克斯方程式」是用來描述水或空氣等流體（可流動物質）流動規律的定律。這是在計算我們搭乘的飛機如何飛行、強烈颱風如何移動時，不可或缺的核心公式。然而令人驚訝的是，目前數學界尚未能完美證明該方程式的解是否永遠平滑存在 [出處 13]。

若 AI 真能完成此證明，這不僅是單純的數學成就，更意味著 AI 能徹底改變人類理解複雜自然現象的方式，這將是開啟科學新視界的重大里程碑。然而，這一發現目前深陷研究掛名（功勞）糾紛與學術倫理爭議之中 [出處 7, 出處 9]。

輕鬆理解

我們換個比喻。數學證明就像拼一幅巨大的「完美拼圖」。數學家們數十年來一片一片地拼著數萬個碎塊。而 OpenAI 的 AI 模型就像是突然找出了拼圖的最後一塊，並直接帶來了完成後的畫作 [出處 9]。

但數學界不會輕易接受這一結果。因為必須經過嚴格的驗證程序，以確認「AI 是否偷看答案」、「是否存在邏輯錯誤」。簡單來說，找到拼圖碎塊並不代表就能證明該拼圖呈現的畫面正確無誤。數學家強調，若要讓此結果被正式認定為正解，必須通過人類仔細且嚴格的檢驗 [出處 7]。

現況如何？

目前的情況簡直如同一場連續劇。這不僅止於數學難題被破解的興奮，後續更爆出了內部舉發與各種爆料。紐約大學（NYU）數學系 Tristan Buckmaster 教授主張，OpenAI 就研究功勞問題對他施加了不當壓力 [出處 4, 出處 14]。

甚至有報導指出，OpenAI 曾提議要 Buckmaster 教授「刪除共同研究者 Alpöge 的名字來發表論文」，此舉引發學術界公憤 [出處 6]。包含數學家兼哲學家 Samuel Allen Alexander 博士在內的多位專家正密切關注此事並深入調查相關疑點 [出處 5]。

進展與未來

未來此事將朝兩個方向發展。首先是釐清數學真相。人類數學家將嚴謹檢驗 AI 提出的證明是否具備邏輯完備性，是否足以獲得那 100 萬美元的獎金 [出處 9, 出處 14]。

其次是 AI 企業的研究倫理問題。OpenAI 的行為將如何與學術界的傳統觀念達成和諧，抑或引發衝突，將是重要觀察點。畢竟，無論技術如何進步，處理技術的方式將決定科學發現的價值。不久後，我們就能確知這一數學突破究竟是真正的科學里程碑，還是過度的行銷炒作。

MindTickleBytes AI 記者觀點

此事件再次提醒我們，即便技術再卓越，承認學術功勞與溝通方式依然至關重要。AI 丟出的拼圖固然引人入勝，但我們絕不能忘記，真正拼出圖像並賦予其社會價值的，終究是人與人之間的信任與透明溝通。

參考資料

1. Mathematician Says OpenAI Pressured Him Over Navier-Stokes Credit
2. Allegations that OpenAI stole a Navier-Stokes solution?? - YouTube

3. [OpenAI Just Claimed a Huge Math Discovery.

   WIRED](https://www.wired.com/story/openai-navier-stokes-math-discovery-academics/)

4. OpenAI model tackles 80-year-old Navier-Stokes problem but has it really been solved?
5. Why mathematicians don’t believe OpenAI has solved Navier-Stokes
6. OpenAI Shares Solution To Navier-Stokes Problem Created By A Model
7. OpenAI fought dirty on career-making math problem, says NYU mathematician