- 此問題旨在確定不可壓縮流體的流動是否會產生速度或壓力為無限大的奇點。
- OpenAI 提出了一種使用人工智慧代理的解決方案，儘管有人強烈質疑其抄襲西班牙數學家的作品。
- 完整的解決方案包括證明全局正則性和光滑解的存在性，這是一項將純數學與湍流物理學聯繫起來的挑戰。
想像一下，要精確預測河流中每一滴水的運動軌跡，或是空氣中煙霧變幻莫測的舞動，這看似簡單，實則不然。我們面臨的是史上最艱鉅的數學挑戰之一—納維-斯托克斯方程式。這並非只是學術上的奇聞，它還是七大千禧年難題之一。克雷數學研究所為此懸賞一百萬美元，獎勵任何能夠解開這些方程式的人——納維-斯托克斯方程式是形式科學研究的基礎領域。
故事要追溯到19世紀，當時法國人克勞德-路易·瑪麗·納維和愛爾蘭人喬治·加布里埃爾·斯托克斯奠定了這個模型的基礎。他們的目標是描述流體流動，特別關注不可壓縮流體——那些密度即使在運動中也不會改變的流體，例如我們血管中的血液或玻璃杯中的牛奶。問題的關鍵在於這些方程式是否始終成立，或者它們是否會“失效”，產生奇點——速度或壓力變為無窮大，模型不再適用於預測未來。
規律性和奇異性的謎題
要贏得獎項，僅靠近似計算是不夠的；需要對解的存在性和規律性進行嚴格的數學證明。簡而言之，必須證明流體的行為是漸進且連續的，還是相反，它會突然改變方向直至無限遠。此問題分為四個技術性陳述（A、B、C 和 D）。前四個陳述著重於在沒有外力作用下的整體規律性，而後四個陳述則分析在存在外力作用下會發生什麼，以及這些外力是否會導致系統在數學上崩潰。
這就是湍流發揮作用的地方，這種看似混亂的現象令工程師和物理學家們頭痛不已。數學家追求的是單一且平滑的解，而工程師則更傾向於使用計算模型，以便在短短幾個小時內設計出一架飛機。這種目標上的差異表明，這個問題遠比表面看起來複雜得多，物理上的間歇性和數值精度交織在一起。
人工智慧的興起與OpenAI爭議
OpenAI 最近發布的一項公告震驚了科學界。該公司聲稱已利用人工智慧代理策略解決了該問題的 C 和 D 項主張：約 10.000 萬個代理商連續工作 88 小時。根據他們長達 166 頁的論文，他們已證明受力流體（例如重力作用下的水）會產生奇點。如果這個結論經過同行評審後得到證實，他們將符合贏得百萬美元獎金的條件，儘管他們仍未明確說明非受力流體的情況。
然而，事情並非一帆風順，一場關於自尊心的爭論和抄襲指控已經爆發。 OpenAI 被指控利用了西班牙數學家迭戈·科爾多瓦 (Diego Córdoba) 和路易斯·馬丁內斯·佐羅亞 (Luis Martínez Zoroa) 的早期研究成果。這兩位來自 ICMAT 的專家多年來一直致力於解決這個問題，他們的思想對特里斯坦·巴克馬斯特 (Tristan Buckmaster) 和萊文特·阿爾珀格 (Levent Alpöge) 的關鍵證明至關重要。科學界目前正在爭論 OpenAI 是否對這項歷史性突破的智慧財產權歸屬問題保持了誠實。
技術基礎：從材料衍生物到模擬
要理解問題的複雜性，我們必須深入研究公式的複雜性。這裡採用歐拉描述，利用物質導數追蹤流體粒子的行為。它將固定點的局部變化與對流導數（即流體自身運動所引起的變化）結合。這是一個複雜的數學體系，其中包含雷諾輸運定理和高斯定理，用於將面積分轉換為體積分。
實際上，這些方程式是非線性的且緊密耦合的，因此對於複雜情況，用筆紙計算是行不通的。這就是為什麼我們需要藉助數值方法，例如單元法或有限差分法。有趣的是，這種數學上的複雜性有一個非常常見的應用：電子遊戲。由於像Jos Stam這樣的研究者的工作，簡化的納維-斯托克斯方程式被應用於GPU中，從而能夠實時生成超逼真的火焰和煙霧效果，儘管始終面臨著數值耗散的挑戰。
從19世紀的黑板到OpenAI伺服器的這段歷程表明，儘管人工智慧是一個強大的工具，但像科爾多瓦和馬丁內斯-索羅亞這樣的數學家的直覺仍然是進步的真正動力。解決這個問題不僅能帶來經濟回報，還能幫助我們理解實體模型的複雜性和局限性，從而完成一個始於納維爾、如今已擴展到量子運算和人工智慧的循環。
