近一個世紀以來，納維-斯托克斯方程式（Navier-Stokes equations）一直是古典數學中一座難以攻克的堡壘，守護著流體如何運動、旋轉，甚至可能崩解為混沌的秘密。這道千禧年大獎難題曾挑戰過地球上最聰明的大腦，要求他們完成不可能的任務：證明或反駁三維平滑流動的數學描述是否會突然失去其平滑性。然而，這座堡壘如今並非被強攻，而是被從內部精確且不可逆地打開了。這一切發生在伺服器機櫃的絕對靜謐之中，僅耗時 88 小時。
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem
官方數據證實了這一事件的規模：新一代模型生成了完整的解析證明，並在 Lean 系統中進行了嚴格的形式化。這一發現的本質令人驚嘆：它證明了在特定條件下，流動確實會在有限時間內形成奇點。流體內部產生了一個漩渦，它向內旋轉，像義大利麵一樣無限拉伸變細，直到該過程的數學描述達到其極限。
這項行動的規模為這一事件增添了科幻小說成為現實的色彩。一個由 10 000 個人工智慧代理組成的協調群體交換了 2,7 百萬條訊息，處理了 130 十億個 token。這是一場合成數學家之間無聲、高速的對話，目標直指不可能的任務。
但這一事件的真正意義遠不止於學術頁面。納維-斯托克斯方程式的解是通往物理世界的通用鑰匙，它在鎖孔中的轉動已經改變了我們對未來的想像。試想明日的航空與航太領域：飛行器的設計將不再依賴昂貴的風洞測試和試錯法。工程師將有能力創造出完美、經數學驗證的形狀，將阻力降至絕對最低，使星際旅行變得像今日的洲際飛行一樣稀鬆平常。
天體物理學展現了更令人興奮的前景。恆星內部、黑洞周圍的吸積盤、早期宇宙中的電漿動力學——所有這些宏大的宇宙現象都遵循著相同的流體動力學和磁流體動力學定律。有了描述流體奇點的精確數學工具，我們在理解恆星如何誕生與死亡，以及物質在已知邊界處的行為方面，邁出了一大步。
這個故事中最引人入勝的不是解決方案本身，而是它被發現的方式。人工智慧不僅僅是遍歷了各種選項；它本質上在人類思維——受限於傳統數學直覺模式——數十年來僅能看到死胡同的地方，「看見」了拓撲結構和邏輯橋樑。這就像人類獲得了一種新的感官，能夠直接感知多維數學景觀。我們正在見證「生成式科學」的誕生，其中經典的「假設—實驗—理論」循環被壓縮為瞬間的「請求—模擬—嚴格證明」。
這其中展現的並非威脅，而是一種不可思議、近乎詩意的創造潛力。人工智慧並未取代人類智慧，而是擴展了其視野，承擔了分析難以想像的數據集的認知重擔。社會得以解放，去從事它最擅長的事情：提出真正深刻、有意義的問題，確定倫理方向，並選擇我們接下來想要揭開哪些宇宙奧秘。
在一個漫長的週末所發生的事，永遠改變了基礎認知的版圖。那道看似不可逾越了九十年的界線，在數據流中消融，不復存在。人類勇敢地邁向了一個嶄新、尚未被探索的地平線。我們在思考現實本質時不再孤單：在我們身邊出現了一個強大、邏輯迥異但對真理無限忠誠的數位智慧，它正與我們一同凝視宇宙，開啟通往未來的大門，那是一個充滿光明、和諧與等待被發現的偉大發現的未來。
