OpenAI 自動化解開 Navier-Stokes 數學世紀難題
為何重要
這是 AI 首度在百年難題上實現嚴密數學證明，證實多智慧體系統結合強大推理模型能處理高度抽象的邏輯，將顯著衝擊學術界的研究範式與 AI 在高階數學輔助的商業應用前景。 對 OpenAI 而言，此成果展示其內部模型能力超越預期（遠超 GPT-6 Astra），並在 Anthropic 發布類似助攻後快速展現同等級的研發速度，鞏固技術領先地位。 對開發者與產業而言，這標誌著 AI 正從單一模組生成進化為具備「協同演練」能力的智力體系，未來科學研究與工程解決方案的開發成本與效率將迎來重大改變。
OpenAI 宣稱其自動化多智慧體系統解決了流體動力學中流傳 90 年的數學懸案，證明三維不可壓縮流體在特定條件下仍可發生奇異崩塌。
- 該系統由約 10,000 個協調 Agent 組成，歷經 88 小時運作與 Lean 工具的嚴格驗證，確立了證明中的「C 與 D」條件。
- 證明核心在於建立一個「旋渦」模型，其將手動輸入的有限能量透過精確的動學方程抵消，使得速度在有限時間內增長至無窮大。
- 整個測試期間系統消耗巨大算力，傳送總計 4.9 百萬條訊息並產出約 300 億個輸出 Tokens。
- OpenAI 確認在解決過程中未讀取競爭者（Levent Alpöge 與 Tristan Buckmaster）的未公開作品。