2026年9月8日，喺Anthropic啱啱宣布用Fable 5.1喺Lean做出費馬大定理嘅形式化證明之後，OpenAI正式宣布，佢哋內部由先進模型驅動嘅約1萬個AI智能體喺約88小時內，完成咗千禧年大獎難題之一——三維納維-斯托克斯（Navier-Stokes）方程存在性同光滑性問題嘅關鍵突破。研究指出，在特定光滑外力作用下，流體由靜止出發、總動能仍保持有限，但速度場仍然可以喺有限時間內發展出奇點（blow-up）。OpenAI同步公開咗證明稿同Lean形式化驗證結果，並明確表示唔會申領克雷數學研究所嘅100萬美元獎金。

詳細情況：萬級智能體協同與形式化驗證

納維-斯托克斯方程描述不可壓縮流體嘅運動，係流體力學嘅核心方程。千禧年大獎問題關注三維情況下解是否始終保持光滑（唔會出現無限速度等奇點）。OpenAI嘅結果證明：存在由正常初始狀態出發、喺光滑緊支集外力作用下、動能保持有限，但喺有限時間內速度變得無界嘅流體流動，從而確立咗官方表述中相關條款（主要對應“C”與“D”陳述）。

技術上，OpenAI使用內部更強嘅模型（明顯優於公開嘅GPT-6 Astra）去驅動協調式智能體系統。智能體可以存取緩存嘅網絡資料、運行程式碼，並以小組方式通訊協作。團隊先由約1000個智能體喺約50小時內解決相關嘅歐拉方程變體（無黏性情況），之後將規模擴大到約1萬個智能體，對完整納維-斯托克斯問題繼續推進。智能體喺約88小時後（大約9月5日左右）提出解決方案；隨後GPT-6 Astra再用約17小時完成Lean形式化同驗證。整個納維-斯托克斯相關過程中，智能體交換咗約270萬條訊息，耗用約1300億輸出Token。照公開定價粗略估算，類似規模嘅計算成本可達千萬美元級別。

OpenAI強調，實驗全程保持與前沿模型評估相同嘅嚴格安全監控同隔離措施。結果以機器可檢查嘅Lean形式呈現，提高咗初步可信度，但仍需數學界進一步獨立審查。

背景與爭議

千禧年大獎問題由克雷數學研究所喺2000年提出，總共有七題，每題懸賞100萬美元。此前淨係有龐加萊猜想被解決。OpenAI表示，行動部分受「有兩個千禧年問題已被解決」嘅傳聞啟發。幾乎同期，數學家Tristan Buckmaster等人喺相關歐拉問題上都有重要進展，並獲得「Deep Blue對卡斯帕羅夫時刻」嘅評價；部分討論涉及工作時間線同靈感來源，OpenAI否認使用咗外部未公開材料。

菲爾茲獎得主陶哲軒（Terence Tao）對近期AI數學進展既肯定其速度同規模，亦表達咗憂慮。他指出，今年出現咗「答案同理解之間前所未有嘅脫節」——AI可以快速提出新結果，但人類冇足夠時間進行緩慢、深入嘅討論同消化，可能影響數學知識真正嘅吸收同發展。

可能影響：數學研究範式與AI能力邊界

1. 對數學研究嘅影響

如果結果經得住嚴格審查，呢將會係AI首次實質解決千禧年級別嘅開放問題，標誌住由「輔助驗證/形式化」向「參與核心發現」嘅跨越。大規模智能體協作加上形式化驗證嘅模式，可能成為攻克其他難題（例如黎曼猜想相關進展嘅傳聞）嘅新途徑。與此同時，亦會迫使數學界重新思考：點樣平衡AI高速產出同人類深度理解。

2. 對AI能力評估嘅影響

萬級智能體、千億Token、數千萬美元級算力投放到單一科學問題，展示咗當前系統喺複雜、長週期、高嚴謹性任務上嘅執行力。引入Lean驗證進一步提升結果可檢查性。呢一方面係能力里程碑，另一方面亦暴露咗成本同資源門檻