🚨 OpenAI 宣布：內部模型解出千禧年大獎難題「納維－斯托克斯方程」存在性問題

⚡ 一句話講清楚

納維－斯托克斯方程是用來描述「水流、空氣怎麼流動」的數學公式，飛機設計、氣象預報、血流模擬背後都靠它運算。這題目屬於 千禧年大獎難題美國 Clay 數學研究所在 2000 年列出的 7 道世界級數學難題，解出一題可獲得 100 萬美元獎金，納維－斯托克斯的存在性與光滑性問題就是其中一道，90 年來沒人能徹底解開。

問題核心是：如果一開始水流很平順（沒有亂流），會不會在某個時間點突然「爆掉」——流速衝向無窮大，方程式再也無法準確描述接下來會發生什麼事？這種爆掉的瞬間叫做 奇異點數學上指某個物理量（這裡是流速）在有限時間內衝向無窮大，代表原本的方程式已經失效，無法再準確描述系統。OpenAI 這次宣稱證明的，正是：確實存在一種情況，一開始平順的水流，在持續施加平滑外力下，會在有限時間內出現奇異點。

更值得注意的是「怎麼做出來的」：這個內部模型不只寫出人類數學家能審閱的自然語言 writeup論文或報告形式的證明說明，用文字加數學符號描述推導邏輯，供人類專家審閱，還把整份證明翻成 Lean一套「形式化證明」程式語言／系統，證明中的每一步推導都要被電腦逐步檢驗邏輯是否成立，等於用程式編譯的方式驗證一份數學證明，讓電腦逐行驗證邏輯沒有漏洞——這比純粹靠人工審稿多了一層機器可驗證的保險。