10000個AI跑88小時，OpenAI攻克千禧年數學難題，並放棄百萬獎金

      9 月 8 日，OpenAI 正式宣佈，其內部尚未公開的一款新模型，給出了“納維－斯托克斯存在性與光滑性問題”的解決方案。這是數學界著名的七個“千禧年大獎難題”之一，困擾數學家已經接近 90 年。沒想到會在破百年前被AI破解了。

      OpenAI 並不是讓一個模型自己慢慢推，而是組織了大規模 AI 智能體協作。最終找到 Navier－Stokes 證明的團隊規模達到了大約 10000 個併發 AI 智能體。從第一批智能體啓動，到最終得到結果，總共花了大約 88 個小時。隨後，OpenAI 又使用 GPT-6 Astra 花費約 17 小時，將證明進行了 Lean 形式化和驗證。

      整個挑戰過程中，AI 智能體一共發送了約 490 萬條消息，生成約 3000 億個輸出 Token；僅 Navier－Stokes 這一道問題，就產生了約 270 萬條消息和1300億個 Token。

      不過這次用的不是剛發佈的 GPT-6 Astra。OpenAI 表示，他們從 8 月 28 日開始訓練一款新的內部模型，這款模型在數學等測試中的能力已經明顯超過 GPT-6 Astra，目前甚至還在繼續訓練。也就是說，我們現在看到的這個成果，某種程度上也是 OpenAI 提前展示下一代模型能力的一次“實力展示”。

      紐約大學數學教授 Tristan Buckmaster 和 Anthropic 研究員 Levent Alpöge 此前也一直在研究非常接近的問題。Buckmaster 擔心自己此前通過 Codex 進行研究時留下的數據，是否可能間接影響了 OpenAI 的模型。OpenAI 則表示，參與項目的研究人員和 AI 智能體沒有訪問兩人的具體用戶數據。不過 OpenAI 同時也承認，無法完全排除兩人使用 OpenAI 產品產生的匿名化數據曾經幫助改進模型。

      OpenAI 目前已經公開了論文以及對應的 Lean 形式化證明，並表示不會申請克萊數學研究所爲這道題設置的 100 萬美元獎金。不過如此重大的數學成果，接下來顯然還需要整個數學界進行進一步檢查和驗證了。如果最終證明GPT的結果是對的，那麼過去需要頂尖數學家耗費幾年甚至幾十年探索的問題，現在開始出現了另一種研究方式——成千上萬個 AI 智能體同時搜索思路、互相交換結果，再由 AI 完成證明和形式化驗證。

      只能說AI現在的能力越來越誇張了！不知道爲什麼會有點後背發涼的感覺呢？