OpenAI神秘模型疑攻克N-S方程千禧年難題
nashnova research
數學家巴克馬斯特披露，OpenAI一款內部模型已完成納維–斯托克斯方程在外力驅動下的百頁爆破證明——若成立，這可能是AI首次獨立觸及百萬美元千禧年大獎難題的核心。
這道題為甚麼值一百萬美元？
納維–斯托克斯方程（N-S方程，描述水流、氣流等一切流體運動的核心方程組）是克雷數學研究所懸賞的七大千禧年難題之一，破解者可獲100萬美元獎金。
核心懸案只有一個問題：方程的解會不會在某一刻突然「爆掉」？簡單來說＝流體運動的數學描述，會不會在某個瞬間變成無窮大、徹底失控？
數學家把這種失控叫做「爆破」（出現奇點）。證明它會爆破或永遠不會，都算破解——懸了二十多年，沒人做到。
OpenAI的百頁證明到底證了甚麼？
紐約大學數學家巴克馬斯特披露：OpenAI內部一款神秘模型獨立生成了一份長達100頁的數學手稿，完成了N-S方程在「外力驅動」情形下的有限時間爆破證明。
這意味著→ 模型並非解決了N-S方程的全部，而是在一個特定條件下證明了「解確實會爆掉」。
關鍵細節：克雷官方題目允許構造光滑外力來證明解不存在。因此，如果這份證明滿足全部條件，它在原則上可以解決正式的百萬美元大獎題目。該模型據稱極有可能是OpenAI下一代產品「Bel」。
同一天還有三道流體方程被突破？
巴克馬斯特與Anthropic員工阿爾珀格宣布，在大語言模型輔助下完成了三類流體方程的有限時間爆破結果——不可壓縮多孔介質方程、Boussinesq方程、三維不可壓縮歐拉方程。
論文及Lean形式化代碼（一種讓電腦逐行檢驗數學證明的工具）已全部公開。研究過程中使用了Claude、Codex及GPT-5.6 Sol等模型輔助推進。
菲爾茲獎得主陶哲軒評價為「卓越的成就」，但明確指出：歐拉方程的突破不能直接宣布N-S方程告破——N-S方程多出的黏性項會抹平高頻結構，延伸機制仍面臨大量技術困難。
陶哲軒怎麼解讀這個證明思路？
陶哲軒解讀核心思路：在已有流動上反覆疊加高頻擾動，讓大尺度流動不斷放大細小結構。
簡單來說＝想像一條河流，你不斷往裡扔進越來越細的漩渦；大河流把小漩渦越攪越大，而小漩渦對大河流的反作用又被嚴格控住——最終整個系統在有限時間內失控。
這反映出一種「逐級放大」的數學構造策略，而AI的角色是在這個極其繁複的構造過程中輔助推進和驗證。
署名爭議和數據來源質疑是怎麼回事？
巴克馬斯特披露：9月3日全網傳出「Anthropic Claude解決N-S難題」的消息，同日他與阿爾珀格的研究進展傳至OpenAI內部。他隨即聯絡OpenAI知名數學家，強調該研究與任何機構無關。
9月6日OpenAI的比貝克加入溝通，巴克馬斯特在電話中首次得知百頁證明的存在。他當場追問：OpenAI是否使用了他此前放入Codex的項目草稿或對話數據來訓練模型？對方稱模型未查找用戶數據，但追問訓練問題時未獲回覆。
在發表方式談判中，OpenAI兩次要求移除阿爾珀格署名，理由是其為Anthropic員工。巴克馬斯特拒絕，雙方陷入僵局。
這件事的真正懸念在哪裡？
巴克馬斯特表示尚未拿到那份百頁手稿，OpenAI的完整證明尚待公開。這意味著→ 數學界目前無法驗證這份證明是否成立。
即使證明公開，兩個問題仍將決定其歷史意義：證明本身能否經受嚴格同行檢驗，以及AI在其中的獨立貢獻邊界如何界定。
這反映出AI介入前沿數學帶來的全新張力——當模型可能接觸過研究者的數據、產出又與人類團隊高度重疊時，「誰先做出來的」這個問題變得前所未有地複雜。
市场有风险，内容仅供研究参考，不构成投资建议。