OpenAI聲稱就三維不可壓縮Navier–Stokes方程得出重要結果，並獲Justin Sun新設數學獎列為首個最高級別、100萬美元得主；不過，公司暫時未有領取獎金。呢個決定唔只關乎一筆錢，而係將AI做前沿數學時最棘手嘅幾個問題一次過擺到檯面：形式化驗證是否足夠、誰有權確認證明、點樣處理優先權同署名。 3689

OpenAI到底聲稱證明咗乜？

OpenAI喺2026年9月8日公開論文式說明同Lean形式化檔案，稱其內部系統搵到一個分析證明：原本平滑、靜止嘅流體，在平滑外力作用下，可以喺有限時間內出現奇異性。簡單講，方程描述嘅流動可以「爆開」，某些量變成無限大。 6

但「Navier–Stokes已被解決」係過度簡化。按Clay數學研究所對問題嘅表述，OpenAI所講嘅係受外力反例路線，即案例C同D；佢並無證明無外力情況下嘅全域正則性方案，即案例A同B。呢個範圍分別非常關鍵。 61819

約1萬個AI代理點樣參與？Lean又驗證咗啲乜？

OpenAI話，團隊由8月28日開始以一個仍在訓練中嘅內部模型測試問題，9月1日後擴大工作；系統採用可用程式碼及快取網頁資料嘅協調代理群，Navier–Stokes項目約有1萬個並行代理。 6

報道指，探索結果用咗約88小時，之後GPT-6 Astra用約17小時將工作形式化並喺Lean內核對。OpenAI亦強調，最初發現數學結果嘅內部模型，能力明顯高過GPT-6 Astra；Astra主要角色係形式化與驗證，未必係最初「諗出」證明嘅系統。 68

Lean係一種定理證明器：如果將定理、定義、假設同每一步推理準確編碼，佢可以嚴格檢查結論是否由該等假設推出。呢種核對力好強，但唔會單靠一次運行就解答所有問題——例如，輸入Lean嘅形式化版本是否完整對應Clay問題要求、分析證明嘅詮釋有冇遺漏，以及結果是否值得數學界接受，仍需要外部同行審視。

點解Clay另一筆100萬美元仲未頒？

Clay數學研究所嘅千禧年獎，與Justin Sun嘅私人獎項完全分開。Clay喺9月11日表示，正按既有規則評估OpenAI公布嘅成果，並形容程序會「刻意不急」。 1

Clay嘅規則要求，擬議解答要先喺合資格出版渠道發表；發表後至少等兩年；再獲全球數學界普遍接受，Clay先會考慮頒獎。因此，即使Lean檔案如報道所說能通過檢查，亦唔可能即時變成Clay獎得主。

目前最準確嘅講法係：OpenAI已公開主張並釋出形式化材料，但Clay尚未確認其為千禧年獎解答。獨立數學家仍須檢驗分析證明、形式化內容，以及結果是否確實滿足相關問題條件。 16

Justin Sun獎認可嘅標準又係乜？

Justin Sun喺9月16日公布呢個去中心化學術懸賞計劃，聚焦基礎研究突破同機器形式化驗證。首輪涵蓋66條數學問題，OpenAI聲稱嘅Navier–Stokes成果獲列為最高100萬美元獎項。 314

呢套制度比Clay快得多，亦採取更寬嘅資格觀：只要能交出可由機器驗證嘅證明，人類研究者、AI系統，以至人機合作團隊都可以符合資格。 414

不過，呢仍然係一個有自己規則嘅私人獎項，唔能夠取代數學界建立正確性、優先權或長遠重要性時使用嘅學術標準。獲Sun獎認可，並不代表Clay或全球研究者必須視成果為塵埃落定。

點解獎金仲未領？

有報道指，獎項儲存庫將OpenAI列為符合領獎資格，但狀態仍是未領取；報道將此與證明來源爭議，以及OpenAI此時未有追逐Clay獎項嘅取態連在一起。 89

就目前所審閱資料，OpenAI未有公開交代一個明確、最終嘅不領取或延遲領取原因。因此，較謹慎嘅理解只能係：當證明範圍、來源同學術信用尚有爭論時，領取私人獎可能會被視為過早宣示成果已獲最終確認。

署名爭議，唔係枝節

紐約大學數學家Tristan Buckmaster指控，OpenAI嘅工作可能使用咗非公開研究；OpenAI對此提出反駁。現有報道未顯示爭議已有獨立、最終裁決。 120

《Nature》指出，事件反映AI公司有需要更緊密地與研究社群合作，特別要保障署名與學術信用。AI系統可以以異常大規模搜尋、重組同形式化想法，但某一個關鍵洞見最初由邊個提出，過程未必容易重建。 1720

呢啲疑慮本身唔等於形式化證明有錯；但「證明是否正確」同「應該由誰獲得功勞」係兩條不同問題。若成果真會改變一個重要數學領域，兩者都不能迴避。

現階段應點樣理解？

OpenAI嘅主張確實非同小可：它報告一個有限時間奇異性建構，並以大規模AI代理流程發現，再附上Lean形式化。 61819

但現時唔應稱之為已獲Clay確認嘅千禧年獎解答。Justin Sun嗰筆100萬美元據報仍未被領取，Clay嘅程序獨立而且慢得多，署名爭議亦未解決。 18920

下一步真正重要嘅，係獨立同行審核數學內容、仔細核對形式化命題有冇準確符合原問題條件，以及建立可信嘅優先權與署名交代。喺呢啲完成之前，最穩妥嘅描述係：一項非常重要、具機器可核對部分嘅AI生成數學主張，而唔係一個已有全面共識嘅最終結果。

OpenAI聲稱就三維不可壓縮Navier–Stokes方程得出重要結果，並獲Justin Sun新設數學獎列為首個最高級別、100萬美元得主；不過，公司暫時未有領取獎金。呢個決定唔只關乎一筆錢，而係將AI做前沿數學時最棘手嘅幾個問題一次過擺到檯面：形式化驗證是否足夠、誰有權確認證明、點樣處理優先權同署名。 3689

OpenAI到底聲稱證明咗乜？

OpenAI喺2026年9月8日公開論文式說明同Lean形式化檔案，稱其內部系統搵到一個分析證明：原本平滑、靜止嘅流體，在平滑外力作用下，可以喺有限時間內出現奇異性。簡單講，方程描述嘅流動可以「爆開」，某些量變成無限大。 6

但「Navier–Stokes已被解決」係過度簡化。按Clay數學研究所對問題嘅表述，OpenAI所講嘅係受外力反例路線，即案例C同D；佢並無證明無外力情況下嘅全域正則性方案，即案例A同B。呢個範圍分別非常關鍵。 61819

約1萬個AI代理點樣參與？Lean又驗證咗啲乜？

OpenAI話，團隊由8月28日開始以一個仍在訓練中嘅內部模型測試問題，9月1日後擴大工作；系統採用可用程式碼及快取網頁資料嘅協調代理群，Navier–Stokes項目約有1萬個並行代理。 6

報道指，探索結果用咗約88小時，之後GPT-6 Astra用約17小時將工作形式化並喺Lean內核對。OpenAI亦強調，最初發現數學結果嘅內部模型，能力明顯高過GPT-6 Astra；Astra主要角色係形式化與驗證，未必係最初「諗出」證明嘅系統。 68

Lean係一種定理證明器：如果將定理、定義、假設同每一步推理準確編碼，佢可以嚴格檢查結論是否由該等假設推出。呢種核對力好強，但唔會單靠一次運行就解答所有問題——例如，輸入Lean嘅形式化版本是否完整對應Clay問題要求、分析證明嘅詮釋有冇遺漏，以及結果是否值得數學界接受，仍需要外部同行審視。

點解Clay另一筆100萬美元仲未頒？

Clay數學研究所嘅千禧年獎，與Justin Sun嘅私人獎項完全分開。Clay喺9月11日表示，正按既有規則評估OpenAI公布嘅成果，並形容程序會「刻意不急」。 1

Clay嘅規則要求，擬議解答要先喺合資格出版渠道發表；發表後至少等兩年；再獲全球數學界普遍接受，Clay先會考慮頒獎。因此，即使Lean檔案如報道所說能通過檢查，亦唔可能即時變成Clay獎得主。

目前最準確嘅講法係：OpenAI已公開主張並釋出形式化材料，但Clay尚未確認其為千禧年獎解答。獨立數學家仍須檢驗分析證明、形式化內容，以及結果是否確實滿足相關問題條件。 16

Justin Sun獎認可嘅標準又係乜？

Justin Sun喺9月16日公布呢個去中心化學術懸賞計劃，聚焦基礎研究突破同機器形式化驗證。首輪涵蓋66條數學問題，OpenAI聲稱嘅Navier–Stokes成果獲列為最高100萬美元獎項。 314

呢套制度比Clay快得多，亦採取更寬嘅資格觀：只要能交出可由機器驗證嘅證明，人類研究者、AI系統，以至人機合作團隊都可以符合資格。 414

不過，呢仍然係一個有自己規則嘅私人獎項，唔能夠取代數學界建立正確性、優先權或長遠重要性時使用嘅學術標準。獲Sun獎認可，並不代表Clay或全球研究者必須視成果為塵埃落定。

點解獎金仲未領？

有報道指，獎項儲存庫將OpenAI列為符合領獎資格，但狀態仍是未領取；報道將此與證明來源爭議，以及OpenAI此時未有追逐Clay獎項嘅取態連在一起。 89

就目前所審閱資料，OpenAI未有公開交代一個明確、最終嘅不領取或延遲領取原因。因此，較謹慎嘅理解只能係：當證明範圍、來源同學術信用尚有爭論時，領取私人獎可能會被視為過早宣示成果已獲最終確認。

署名爭議，唔係枝節

紐約大學數學家Tristan Buckmaster指控，OpenAI嘅工作可能使用咗非公開研究；OpenAI對此提出反駁。現有報道未顯示爭議已有獨立、最終裁決。 120

《Nature》指出，事件反映AI公司有需要更緊密地與研究社群合作，特別要保障署名與學術信用。AI系統可以以異常大規模搜尋、重組同形式化想法，但某一個關鍵洞見最初由邊個提出，過程未必容易重建。 1720

呢啲疑慮本身唔等於形式化證明有錯；但「證明是否正確」同「應該由誰獲得功勞」係兩條不同問題。若成果真會改變一個重要數學領域，兩者都不能迴避。

現階段應點樣理解？

OpenAI嘅主張確實非同小可：它報告一個有限時間奇異性建構，並以大規模AI代理流程發現，再附上Lean形式化。 61819

但現時唔應稱之為已獲Clay確認嘅千禧年獎解答。Justin Sun嗰筆100萬美元據報仍未被領取，Clay嘅程序獨立而且慢得多，署名爭議亦未解決。 18920

下一步真正重要嘅，係獨立同行審核數學內容、仔細核對形式化命題有冇準確符合原問題條件，以及建立可信嘅優先權與署名交代。喺呢啲完成之前，最穩妥嘅描述係：一項非常重要、具機器可核對部分嘅AI生成數學主張，而唔係一個已有全面共識嘅最終結果。