OpenAI 宣稱取得的納維—斯托克斯結果，被孫宇晨新設數學獎列為首屆最高額獎項，但公司並未領取這筆 100 萬美元獎金。原因不只關乎「AI 是否解出一道難題」，更牽涉到形式驗證能證明什麼、私人獎項如何運作、同行審查何時才算完成，以及 AI 參與前沿數學時的署名與優先權應如何認定。3689

OpenAI 到底宣稱證明了什麼？

2026 年 9 月 8 日，OpenAI 公開一份論述與 Lean 形式化檔案，稱其內部系統找到一個解析證明：在平滑外力作用下，原本平滑、靜止的三維不可壓縮流體，可以在有限時間內形成奇異點。6

依 Clay 問題敘述所使用的分類，這項主張針對的是受迫反例路徑，也就是 C、D 兩種情形；它並未證明無外力時的整體正則性選項 A、B。這項差別極其重要：把事件概括成「納維—斯托克斯問題已被解決」，容易掩蓋「提出受迫吹爆構造」與「解決讀者通常理解的所有版本」之間的距離。61819

約 1 萬個 AI 代理如何產生並檢查證明？

OpenAI 表示，團隊從 8 月 28 日開始讓仍在訓練中的內部模型測試此問題，並在 9 月 1 日後擴大投入。公司描述的流程是多組可使用程式碼與快取網路資料的代理協作；納維—斯托克斯專案約有 1 萬個代理同時運作。6

報導指出，發現階段約耗時 88 小時，之後 GPT-6 Astra 花約 17 小時將成果形式化為 Lean 並進行檢查。OpenAI 強調，最初找到結果的模型是能力顯著高於 GPT-6 Astra 的內部系統；Astra 的角色與形式化、驗證有關，未必是原始數學發現者。68

這不是單純的產品名稱之爭。Lean 這類證明助理的驗證，能強力支持「某一個被精確編碼的定理，確實可從編入系統的假設推導而來」。但它本身無法決定：那些形式化假設是否已完整涵蓋 Clay 原始題目的全部要求，也不能取代外部數學界對證明範圍與詮釋的審查。

為何 Clay 的另一筆 100 萬美元獎金還沒頒？

Clay Mathematics Institute（克雷數學研究所）的千禧年獎與孫宇晨獎是兩套不同制度。Clay 在 9 月 11 日表示，正依既有規則評估 OpenAI 的公告，並形容程序刻意保持審慎、不求快。1

Clay 公布的千禧年獎規則要求：提出的解答必須在符合資格的出版管道發表；發表後至少等待兩年；並且獲得全球數學界普遍接受，Clay 才會考慮頒獎。因此，即使 Lean 程式碼如所述通過檢查，也不可能立刻成為 Clay 獎項結果。

目前最準確的狀態是：OpenAI 已公開提出主張並釋出形式化材料，但 Clay 尚未以千禧年獎認可它。獨立數學家仍須檢視解析證明、形式化內容，以及其是否滿足相關問題的條件。16

孫宇晨獎認可的是什麼？

孫宇晨於 9 月 16 日宣布這項獎勵，定位為針對基礎研究突破與機器形式驗證的去中心化學術懸賞機制。首輪獎項涵蓋 66 道數學題目，OpenAI 所宣稱的納維—斯托克斯結果獲列為最高額 100 萬美元獎項。314

這套制度比 Clay 的機制更著重快速與可機器核驗：其宣稱面向人類研究者、AI 系統與人機協作團隊開放，核心是能被機器驗證的證明。414

不過，這仍是一項依其自身資格規則運作的私人獎項，不是取代數學共同體對正確性、優先權或長期重要性的判定。依孫宇晨獎規則被列為獲獎者，並不會要求 Clay 或其他研究者把該結果視為已最終定論。

為什麼 100 萬美元仍未領取？

關於獎項資料庫的報導稱，OpenAI 的條目顯示為可領獎，但至今仍未領取。報導將此選擇連結到證明來源的未解爭議，以及 OpenAI 在現階段不尋求 Clay 獎項的決定。89

在本次資料所涵蓋的公開材料中，OpenAI 並未明確說明拒領或延後領取的最終理由。因此，較審慎的解讀只能是：當證明的適用範圍、來源與貢獻歸屬仍受爭議時，先收下私人獎項，可能被視為在專業驗證的正常程序完成前，就主張了結果的最終性。

歸屬爭議，也是科學問題的一部分

紐約大學數學家 Tristan Buckmaster 指稱，OpenAI 的工作可能利用了非公開研究；OpenAI 對此指控提出異議。現有報導並未顯示此事已有獨立、最終的裁定。120

《Nature》指出，這起事件凸顯 AI 公司需要更緊密地與研究社群合作，處理歸屬與貢獻認定。在 AI 輔助數學中，系統能以罕見的規模搜尋、重組並形式化想法，但某個關鍵洞見究竟從何而來，可能更難回溯。1720

這並不表示形式化證明必然有誤；但它說明「證明是否正確」與「誰應獲得功勞」是兩個不同問題。對於可能改變重大數學領域的突破，兩者都不可忽視。

現階段應如何看待？

OpenAI 的主張確實非比尋常：它宣稱透過大規模代理工作流，找到一個關於納維—斯托克斯方程有限時間奇異點的構造，並附上 Lean 形式化成果。61819

然而，現在不宜把它稱為已獲 Clay 認可的千禧年獎解答。孫宇晨的 100 萬美元獎金據報仍未領取；Clay 的評估程序獨立且慢得多；研究歸屬的爭議也尚未解決。18920

接下來真正重要的里程碑，是獨立檢閱數學論證、仔細確認形式化敘述是否符合題目原意與條件，並提出可信的優先權及作者貢獻說明。在此之前，最恰當的表述是：這是一項高度重要、帶有可機器檢查成分的 AI 生成數學主張，而非已形成共識的最終結果。

OpenAI 宣稱取得的納維—斯托克斯結果，被孫宇晨新設數學獎列為首屆最高額獎項，但公司並未領取這筆 100 萬美元獎金。原因不只關乎「AI 是否解出一道難題」，更牽涉到形式驗證能證明什麼、私人獎項如何運作、同行審查何時才算完成，以及 AI 參與前沿數學時的署名與優先權應如何認定。3689

OpenAI 到底宣稱證明了什麼？

2026 年 9 月 8 日，OpenAI 公開一份論述與 Lean 形式化檔案，稱其內部系統找到一個解析證明：在平滑外力作用下，原本平滑、靜止的三維不可壓縮流體，可以在有限時間內形成奇異點。6

依 Clay 問題敘述所使用的分類，這項主張針對的是受迫反例路徑，也就是 C、D 兩種情形；它並未證明無外力時的整體正則性選項 A、B。這項差別極其重要：把事件概括成「納維—斯托克斯問題已被解決」，容易掩蓋「提出受迫吹爆構造」與「解決讀者通常理解的所有版本」之間的距離。61819

約 1 萬個 AI 代理如何產生並檢查證明？

OpenAI 表示，團隊從 8 月 28 日開始讓仍在訓練中的內部模型測試此問題，並在 9 月 1 日後擴大投入。公司描述的流程是多組可使用程式碼與快取網路資料的代理協作；納維—斯托克斯專案約有 1 萬個代理同時運作。6

報導指出，發現階段約耗時 88 小時，之後 GPT-6 Astra 花約 17 小時將成果形式化為 Lean 並進行檢查。OpenAI 強調，最初找到結果的模型是能力顯著高於 GPT-6 Astra 的內部系統；Astra 的角色與形式化、驗證有關，未必是原始數學發現者。68

這不是單純的產品名稱之爭。Lean 這類證明助理的驗證，能強力支持「某一個被精確編碼的定理，確實可從編入系統的假設推導而來」。但它本身無法決定：那些形式化假設是否已完整涵蓋 Clay 原始題目的全部要求，也不能取代外部數學界對證明範圍與詮釋的審查。

為何 Clay 的另一筆 100 萬美元獎金還沒頒？

Clay Mathematics Institute（克雷數學研究所）的千禧年獎與孫宇晨獎是兩套不同制度。Clay 在 9 月 11 日表示，正依既有規則評估 OpenAI 的公告，並形容程序刻意保持審慎、不求快。1

Clay 公布的千禧年獎規則要求：提出的解答必須在符合資格的出版管道發表；發表後至少等待兩年；並且獲得全球數學界普遍接受，Clay 才會考慮頒獎。因此，即使 Lean 程式碼如所述通過檢查，也不可能立刻成為 Clay 獎項結果。

目前最準確的狀態是：OpenAI 已公開提出主張並釋出形式化材料，但 Clay 尚未以千禧年獎認可它。獨立數學家仍須檢視解析證明、形式化內容，以及其是否滿足相關問題的條件。16

孫宇晨獎認可的是什麼？

孫宇晨於 9 月 16 日宣布這項獎勵，定位為針對基礎研究突破與機器形式驗證的去中心化學術懸賞機制。首輪獎項涵蓋 66 道數學題目，OpenAI 所宣稱的納維—斯托克斯結果獲列為最高額 100 萬美元獎項。314

這套制度比 Clay 的機制更著重快速與可機器核驗：其宣稱面向人類研究者、AI 系統與人機協作團隊開放，核心是能被機器驗證的證明。414

不過，這仍是一項依其自身資格規則運作的私人獎項，不是取代數學共同體對正確性、優先權或長期重要性的判定。依孫宇晨獎規則被列為獲獎者，並不會要求 Clay 或其他研究者把該結果視為已最終定論。

為什麼 100 萬美元仍未領取？

關於獎項資料庫的報導稱，OpenAI 的條目顯示為可領獎，但至今仍未領取。報導將此選擇連結到證明來源的未解爭議，以及 OpenAI 在現階段不尋求 Clay 獎項的決定。89

在本次資料所涵蓋的公開材料中，OpenAI 並未明確說明拒領或延後領取的最終理由。因此，較審慎的解讀只能是：當證明的適用範圍、來源與貢獻歸屬仍受爭議時，先收下私人獎項，可能被視為在專業驗證的正常程序完成前，就主張了結果的最終性。

歸屬爭議，也是科學問題的一部分

紐約大學數學家 Tristan Buckmaster 指稱，OpenAI 的工作可能利用了非公開研究；OpenAI 對此指控提出異議。現有報導並未顯示此事已有獨立、最終的裁定。120

《Nature》指出，這起事件凸顯 AI 公司需要更緊密地與研究社群合作，處理歸屬與貢獻認定。在 AI 輔助數學中，系統能以罕見的規模搜尋、重組並形式化想法，但某個關鍵洞見究竟從何而來，可能更難回溯。1720

這並不表示形式化證明必然有誤；但它說明「證明是否正確」與「誰應獲得功勞」是兩個不同問題。對於可能改變重大數學領域的突破，兩者都不可忽視。

現階段應如何看待？

OpenAI 的主張確實非比尋常：它宣稱透過大規模代理工作流，找到一個關於納維—斯托克斯方程有限時間奇異點的構造，並附上 Lean 形式化成果。61819

然而，現在不宜把它稱為已獲 Clay 認可的千禧年獎解答。孫宇晨的 100 萬美元獎金據報仍未領取；Clay 的評估程序獨立且慢得多；研究歸屬的爭議也尚未解決。18920

接下來真正重要的里程碑，是獨立檢閱數學論證、仔細確認形式化敘述是否符合題目原意與條件，並提出可信的優先權及作者貢獻說明。在此之前，最恰當的表述是：這是一項高度重要、帶有可機器檢查成分的 AI 生成數學主張，而非已形成共識的最終結果。