作者：默思編輯部 發布：2026-09-10
OpenAI於2026年9月發表一篇論文，宣稱旗下一款尚未公開發布的模型，透過協調多達1萬個AI代理，在88小時內解開了Navier-Stokes存在性與光滑性問題——這是克雷數學研究所（Clay Mathematics Institute）在2000年選定的七大「千禧年大獎難題」之一，每一題都懸賞100萬美元獎金，過去二十多年間只有龐加萊猜想曾被成功解開。
Navier-Stokes方程式描述流體如何運動，廣泛應用於天氣預報、空氣動力學等流體力學領域。這道千禧年難題問的是：在三維空間中，這套方程式是否永遠會產生光滑解，還是在特定條件下，方程式可能發展出「奇點」——也就是數學模型本身會失效的那個瞬間。OpenAI公布的證明描述了一個流體漩渦，隨著時間推移被拉伸、壓縮得愈來愈集中，最終在有限時間內速度趨於無限大，即使整個系統的總能量始終保持有限。
這項成果採用Lean形式化證明語言撰寫，讓證明的正確性能透過機器驗證，而不是單純仰賴人工審查自然語言敘述。這種做法延續了OpenAI稍早以Astra模型解開10道數學懸案時的驗證邏輯——用形式化證明語言取代對AI宣稱的盲目信任。
值得留意的是，這項成果目前仍在等待數學界外部學者的審查，尚未被正式視為官方認可的解答。克雷數學研究所要求提出的解答必須經過長時間的檢驗，並在數學界獲得廣泛認可後，才會考慮正式頒發100萬美元獎金，這代表即使證明本身通過了形式化驗證，距離「正式解開」這道難題，可能還需要一段時間讓外部數學家充分審視與確認。
這是繼OpenAI稍早解開10道數學懸案之後，短短一個月內第二次公布重大數學突破，顯示AI輔助數學證明的能力正以驚人速度累積成果。這種「AI大規模平行探索候選證明、形式化語言負責驗證」的模式，正在重新定義數學研究的工作流程，也讓外界對AI在純數學這類過去被視為人類智力最後堡壘之一的領域，能走多遠感到格外關注。
相較於稍早Astra模型解開的10道相對獨立、範圍較集中的數學問題，Navier-Stokes這道千禧年難題的意義層級明顯不同——它是應用數學與流體力學領域最核心的基礎方程式之一，牽涉的不只是抽象的數學結構，還直接關係到人類對物理世界基本現象的理解深度。這也是為什麼即使證明尚未經過完整的外部審查，這項成果依然在數學界與科學媒體間引發如此高規格的關注與討論。
形式化證明與AI輔助數學研究的交叉領域持續產出重大成果，具備Lean等證明語言背景、又能與AI系統協作驗證候選證明的數學與電腦科學跨領域人才，在這個前沿方向的需求會持續攀升。