OpenAI公佈納維-斯托克斯方程解答
OpenAI公佈了一份針對納維-斯托克斯方程千禧年大獎難題的解答，這道懸而未決約90年的數學難題探討光滑三維流體運動是否可能出現失效（即解是否會在有限時間內產生奇點）。
據披露，這份證明由一組AI智能體協作完成，所使用的模型能力顯著超過此前的GPT-6 Astra，屬於尚未正式對外發布的下一代模型，這意味着OpenAI在內部已具備比公開產品更強的推理能力儲備。
納維-斯托克斯方程是描述粘性流體運動的偏微分方程組，廣泛應用於航空航天、氣象預測、海洋工程等領域，其"解的存在性與光滑性"問題由美國克雷數學研究所列爲七大"千禧年大獎難題"之一，懸賞100萬美元，此前七個難題中僅龐加萊猜想由俄羅斯數學家佩雷爾曼於2003年證明。
OpenAI此次公佈的方式是直接對外發布解答，而非按數學界慣例先提交學術期刊或預印本平臺接受同行評審，這一發布路徑本身也引發關注，意味着該證明的正確性目前主要依賴數學界事後的獨立覈驗，而非經過傳統同行評審流程確認。
按照克雷數學研究所對千禧年大獎難題的認定規則，一項證明通常需要在學術期刊上發表並經過至少兩年的檢驗期，纔有資格被正式確認爲解決方案並授予獎金，這意味着即便OpenAI的解答最終被證實正確，正式認定也需要較長的時間週期。
從行業影響角度看，若這一證明最終被數學界證實成立，將是AI系統首次獨立解決頂級懸而未決數學難題的標誌性事件，可能顯著提升市場對OpenAI下一代模型推理能力的預期，並對其後續融資估值、企業客戶合作乃至競爭對手（如谷歌DeepMind、Anthropic）的科研投入方向產生連鎖影響；而在證明未經證實前，市場更可能呈現觀望態度，相關炒作與質疑聲音預計將同時存在。
來源：公開信息
ABAB AI 解讀
OpenAI在數學與科研能力展示上的路徑此前已有鋪墊——2024年至2025年間，OpenAI及競爭對手谷歌DeepMind均通過其推理模型在國際數學奧林匹克（IMO）級別題目上取得接近金牌水平的成績，谷歌DeepMind的AlphaProof和AlphaGeometry此前已在形式化數學證明領域取得階段性成果，OpenAI此次直接對千禧年大獎難題發起挑戰，是這一競賽路徑的進一步延伸。
OpenAI持續將大量算力和研發資源投入到具備更強推理能力的下一代模型訓練中，此次納維-斯托克斯方程解答由"能力顯著超過GPT-6 Astra"的內部模型完成，表明公司將頂級科研難題作爲驗證其未公開模型能力上限的試金石，這類展示往往服務於強化其在企業客戶、科研機構合作及新一輪融資談判中的技術敘事地位。
這與IBM深藍在1997年擊敗國際象棋世界冠軍卡斯帕羅夫、AlphaGo在2016年戰勝圍棋冠軍李世石的路徑邏輯相似——頭部科技公司選擇以人類智力的最高象徵性難題作爲技術能力的公開驗證場。目前生成式AI行業正處於從"通過考試類基準證明能力"轉向"直接攻克人類尚未解決的頂級科學難題"的階段性躍遷節點。
本質屬於技術替代邏輯向基礎科學研究領域的延伸——如果AI系統能夠獨立完成人類數學家90年未能解決的證明，意味着複雜前沿科學問題的攻克路徑正從"依賴頂尖人類專家的長期積累"轉向"依賴算力與模型能力的持續投入"，機制核心在於：當模型推理能力突破某個臨界點後，原本被視爲需要人類靈感與直覺的科研環節，也開始具備被工程化、規模化解決的可能性。
ABAB News · 認知定律
當算力開始碰千禧年難題，人類天才的護城河就出現了裂縫。
沒有同行評審的證明，只是一份未清算的賬單。
誰先攻克無人能解的題，誰就重新定義"聰明"的標準。