🍵 八卦
💨 剛冒煙
💥
OpenAI接近解決NS方程難題(七大數學難題
▲ 8 推
▼ 2 噓
→ 10 回應
🔔 追這個瓜,別錯過後續
挑下面的關鍵字追蹤——只要 爆了、有後續 或 延燒,第一時間通知你
https://cims.nyu.edu/~tristanb/statement.pdf
納維-斯托克斯方程式描述流體運動
方程式的解常會包括紊流
亂流在現實氣象、航空等領域是重要問題
為此克雷研究所將它列入千禧年七大數學難題並懸賞100萬鎂:“請證明(A)全空間無外力,證明解永遠光滑存在。(B) 週期空間無外力,證明解永遠光滑存在。(C) 全空間有光滑外力,證明解會有限時間爆炸。(D) 週期空間有光滑外力,證明解會有限時間爆炸”
紐約大學Tristan Buckmaster和Anthropic的Levent(用AI推翻雅可比猜想那位)
在Cordoba和Martinez-Zoroa 的基礎上用Claude、Codex、GPT-5.6 Sol等模型研究此難題8月15日AI取得光滑外力和三維歐拉爆破等成果並於8月22日完成Lean驗證
9 月初數學界突然開始傳聞“Anthropic已解決NS難題“
Buckmaster猜測自己的成果可能被OpenAI利用
他於9月3日主動聯繫OpenAI
OpenAI回應:他們的確參考了他們的研究
OpenAI內部模型已經部份證明了NS難題並產生了一份約 100 頁的報告
該證明正是原命題的(C)和(D)
世界最強數學家陶哲軒表示“這套方法很有可能可以完全消除外力項,如果成功,那就是完整解答了克雷研究所的千禧年難題”
--