OpenAI在2026年9月21日提出的是一項極具分量的研究宣稱，而不是已經塵埃落定的數學結論。該公司表示，一個自8月28日開始訓練、尚未公開名稱的內部模型，已解決超過100道橫跨多數數學領域的長期開放問題；同日也宣布在美國普林斯頓高等研究院（IAS）主持下成立數學與人工智慧諮詢小組。515

讀者最需要分清的一點是：OpenAI宣稱「解出」問題，與證明已由獨立數學家審閱並獲學界接受，是兩回事。 目前公開資料可支持前者，卻不足以證實後者已對全部「100多題」成立。

OpenAI究竟宣稱了什麼？

這項說法延續自9月8日的先前發布。當時，OpenAI稱約1萬個AI代理（可相對自主執行任務的AI系統）使用一個未發布的內部模型，在88小時內找到受迫三維納維－斯托克斯方程的有限時間奇異點，並將其描述為解決納維－斯托克斯方程的存在性與光滑性問題。公司表示，成果同時包含解析證明與以Lean完成的形式化版本。113

到9月21日，OpenAI把範圍擴大為：除納維－斯托克斯問題外，該內部模型還「解決」了逾100道長年未解問題。515

不過，「解決」是OpenAI自己的定性。它不表示每一項成果都已發表、經外部專家逐一核查，或取得數學界普遍認可。

已公開的證據，與尚未公開的部分

就納維－斯托克斯成果而言，OpenAI公開描述了解析證明和Lean形式化。Lean是一種證明輔助系統：若形式化內容通過檢查，代表一個被精確編碼的定理可從已編碼的定義、公理及既有形式化函式庫中推導出來。這是有意義的證據。13

但對「100多題」這個更大的主張，公開紀錄明顯不足。9月21日的公告沒有提供逐題目錄，未列出每道題的精確數學陳述、完整證明、形式化驗證進度、研究來源或獨立審查狀態。因此，外界目前無法逐題稽核這個數字。711

同樣地，現有報導也沒有顯示納維－斯托克斯證明已完成獨立的人類同行審查，或已獲數學界廣泛接受。公開證明檔案、程式可編譯，以及學界接受，分別是不同層次的標準。146

霍奇猜想解決了嗎？

沒有。至少在目前提供的公開紀錄中，沒有足夠證據能把霍奇猜想視為已被解決。

霍奇猜想是Clay數學研究所提出的七道千禧年大獎難題之一。37 有報導指出，OpenAI承認在第二道、但未指名的千禧年難題上有「重大進展」；公司並未公開確認那題就是霍奇猜想，也沒有發布可供檢驗的霍奇猜想證明。14

因此，無論是傳聞、報導，或「取得進展」的說法，都不能取代一份公開、可審閱的完整證明。除非精確命題與支撐工作公開，並受到獨立評估，否則最負責任的結論仍是：OpenAI解決霍奇猜想一事尚未獲得證實。

為何Lean驗證很重要，卻仍不等於人類已「看懂」？

形式化驗證與人類數學理解解決的是相關、但不相同的問題。

Lean形式化可對一個精確寫出的命題提供強力保證：相對於指定的形式系統，推理沒有邏輯缺口。但形式化證明常須把人類數學家一句帶過的推理，拆成大量定義、引理、函式庫依賴、改寫與技術步驟。這使得專家未必能迅速從證明腳本中辨認核心構想。

這並不是說「能編譯」沒有價值；恰恰相反，機器檢查可能是驗證的重要一環。問題在於，僅憑通過編譯，仍無法自動回答數學家關切的問題：

• 形式化後的命題，是否精確對應原本的千禧年難題？
• 造成奇異點或構造的核心數學機制是什麼？
• 哪些估計與論證真正承擔關鍵工作？
• 結果是否新穎、穩健，並能成為其他研究者可延伸的基礎？
• 相關先行想法與貢獻，應如何正確歸屬？

換言之，形式化驗證能強化正確性檢查，卻不會自行產生精煉的人類可讀論述、釐清研究優先權，或建立學界共識。

反彈焦點：署名、優先權與研究規範

爭議不只圍繞技術正確性。25位菲爾茲獎得主聯署公開信〈A Severe Misalignment of AI in Mathematics〉，批評AI實驗室把解決知名數學難題當成能力展示的競賽。相關報導稱，聯署者警告這類誘因可能傷害數學研究文化及人才培養。1921

另一場優先權爭議涉及數學家Tristan Buckmaster與Levent Alpöge。Buckmaster在同期聲明中表示，他被告知OpenAI內部系統已有受迫納維－斯托克斯方程有限時間爆破的證明；他也說，自己與Alpöge感受到壓力，在驗證與論述尚未完成前便發布相關工作。他的聲明另提到，一項不同的低耗散納維－斯托克斯成果尚未發布，因為其Lean驗證仍未完成。17

這份聲明是關於發布時機、學術歸屬與壓力的重大證詞，但本身不是OpenAI抄襲他人工作的證明。OpenAI則表示，公司是在聽聞兩位數學家於相關問題可能取得突破的傳聞後才展開工作，並曾提出同步發布、承認兩人優先權的安排。32

所以，尚待處理的問題不只是AI能否產生證明，還包括AI輔助發現應如何發布，才能容許謹慎的歸屬、獨立審查與正常的學術交流。

IAS諮詢小組能做什麼，不能做什麼？

OpenAI宣布成立無給職、獨立的九人「數學與人工智慧諮詢小組」，由位於美國普林斯頓的高等研究院（IAS）主持。報導列出的成員包括Timothy Gowers與Martin Hairer。45

小組的既定角色，是讓數學家參與評估與對外說明AI生成的數學成果，包括就審查與發布方式提供建議。515

但它是諮詢機構，不是監管者。現有報導指出，該小組無權強制OpenAI公開底層證明、決定公司的研究時程、否決公告，或最終裁定作者身分與功勞歸屬。7

這個限制很關鍵：專家意見可以提升透明度與溝通品質，但不能僅靠一個諮詢小組，就把內部公司的主張轉化為數學界已接受的定理。

為何現在還談不上千禧年大獎？

Clay數學研究所的規則相當明確：研究所考慮一項千禧年難題的候選解答前，必須同時符合三項條件：在合格出版管道發表、發表後至少已過兩年，以及獲得全球數學界普遍接受。46

公司部落格文章、預印本、程式碼儲存庫或諮詢小組的意見，都不會自動滿足這些條件。Clay也在納維－斯托克斯公告後指出，其規則同時規範成果的評估流程與功勞歸屬。42

因此，即使OpenAI的納維－斯托克斯成果或日後其他成果最終被證明正確，2026年9月的宣布也不會讓它們立即具備得獎資格；相關工作仍須進入既有的發表、檢驗與學界接受程序。

結論

OpenAI確實宣稱其內部AI模型已解決超過100道開放數學問題，且先前已對納維－斯托克斯問題發布解析證明與Lean形式化。前者的廣泛成果目前沒有逐題公開的證據紀錄；後者則雖有公開檔案，仍未顯示已完成獨立審閱與社群接受。1311

現階段最合適的態度既不是一概否定，也不是搶先認定成功。這些可能影響深遠的主張，需要透明的證明、專家檢驗、審慎的貢獻歸屬，以及時間——尤其是任何暗示霍奇猜想等另一道千禧年難題已被解決的說法。

OpenAI在2026年9月21日提出的是一項極具分量的研究宣稱，而不是已經塵埃落定的數學結論。該公司表示，一個自8月28日開始訓練、尚未公開名稱的內部模型，已解決超過100道橫跨多數數學領域的長期開放問題；同日也宣布在美國普林斯頓高等研究院（IAS）主持下成立數學與人工智慧諮詢小組。515

讀者最需要分清的一點是：OpenAI宣稱「解出」問題，與證明已由獨立數學家審閱並獲學界接受，是兩回事。 目前公開資料可支持前者，卻不足以證實後者已對全部「100多題」成立。

OpenAI究竟宣稱了什麼？

這項說法延續自9月8日的先前發布。當時，OpenAI稱約1萬個AI代理（可相對自主執行任務的AI系統）使用一個未發布的內部模型，在88小時內找到受迫三維納維－斯托克斯方程的有限時間奇異點，並將其描述為解決納維－斯托克斯方程的存在性與光滑性問題。公司表示，成果同時包含解析證明與以Lean完成的形式化版本。113

到9月21日，OpenAI把範圍擴大為：除納維－斯托克斯問題外，該內部模型還「解決」了逾100道長年未解問題。515

不過，「解決」是OpenAI自己的定性。它不表示每一項成果都已發表、經外部專家逐一核查，或取得數學界普遍認可。

已公開的證據，與尚未公開的部分

就納維－斯托克斯成果而言，OpenAI公開描述了解析證明和Lean形式化。Lean是一種證明輔助系統：若形式化內容通過檢查，代表一個被精確編碼的定理可從已編碼的定義、公理及既有形式化函式庫中推導出來。這是有意義的證據。13

但對「100多題」這個更大的主張，公開紀錄明顯不足。9月21日的公告沒有提供逐題目錄，未列出每道題的精確數學陳述、完整證明、形式化驗證進度、研究來源或獨立審查狀態。因此，外界目前無法逐題稽核這個數字。711

同樣地，現有報導也沒有顯示納維－斯托克斯證明已完成獨立的人類同行審查，或已獲數學界廣泛接受。公開證明檔案、程式可編譯，以及學界接受，分別是不同層次的標準。146

霍奇猜想解決了嗎？

沒有。至少在目前提供的公開紀錄中，沒有足夠證據能把霍奇猜想視為已被解決。

霍奇猜想是Clay數學研究所提出的七道千禧年大獎難題之一。37 有報導指出，OpenAI承認在第二道、但未指名的千禧年難題上有「重大進展」；公司並未公開確認那題就是霍奇猜想，也沒有發布可供檢驗的霍奇猜想證明。14

因此，無論是傳聞、報導，或「取得進展」的說法，都不能取代一份公開、可審閱的完整證明。除非精確命題與支撐工作公開，並受到獨立評估，否則最負責任的結論仍是：OpenAI解決霍奇猜想一事尚未獲得證實。

為何Lean驗證很重要，卻仍不等於人類已「看懂」？

形式化驗證與人類數學理解解決的是相關、但不相同的問題。

Lean形式化可對一個精確寫出的命題提供強力保證：相對於指定的形式系統，推理沒有邏輯缺口。但形式化證明常須把人類數學家一句帶過的推理，拆成大量定義、引理、函式庫依賴、改寫與技術步驟。這使得專家未必能迅速從證明腳本中辨認核心構想。

這並不是說「能編譯」沒有價值；恰恰相反，機器檢查可能是驗證的重要一環。問題在於，僅憑通過編譯，仍無法自動回答數學家關切的問題：

• 形式化後的命題，是否精確對應原本的千禧年難題？
• 造成奇異點或構造的核心數學機制是什麼？
• 哪些估計與論證真正承擔關鍵工作？
• 結果是否新穎、穩健，並能成為其他研究者可延伸的基礎？
• 相關先行想法與貢獻，應如何正確歸屬？

換言之，形式化驗證能強化正確性檢查，卻不會自行產生精煉的人類可讀論述、釐清研究優先權，或建立學界共識。

反彈焦點：署名、優先權與研究規範

爭議不只圍繞技術正確性。25位菲爾茲獎得主聯署公開信〈A Severe Misalignment of AI in Mathematics〉，批評AI實驗室把解決知名數學難題當成能力展示的競賽。相關報導稱，聯署者警告這類誘因可能傷害數學研究文化及人才培養。1921

另一場優先權爭議涉及數學家Tristan Buckmaster與Levent Alpöge。Buckmaster在同期聲明中表示，他被告知OpenAI內部系統已有受迫納維－斯托克斯方程有限時間爆破的證明；他也說，自己與Alpöge感受到壓力，在驗證與論述尚未完成前便發布相關工作。他的聲明另提到，一項不同的低耗散納維－斯托克斯成果尚未發布，因為其Lean驗證仍未完成。17

這份聲明是關於發布時機、學術歸屬與壓力的重大證詞，但本身不是OpenAI抄襲他人工作的證明。OpenAI則表示，公司是在聽聞兩位數學家於相關問題可能取得突破的傳聞後才展開工作，並曾提出同步發布、承認兩人優先權的安排。32

所以，尚待處理的問題不只是AI能否產生證明，還包括AI輔助發現應如何發布，才能容許謹慎的歸屬、獨立審查與正常的學術交流。

IAS諮詢小組能做什麼，不能做什麼？

OpenAI宣布成立無給職、獨立的九人「數學與人工智慧諮詢小組」，由位於美國普林斯頓的高等研究院（IAS）主持。報導列出的成員包括Timothy Gowers與Martin Hairer。45

小組的既定角色，是讓數學家參與評估與對外說明AI生成的數學成果，包括就審查與發布方式提供建議。515

但它是諮詢機構，不是監管者。現有報導指出，該小組無權強制OpenAI公開底層證明、決定公司的研究時程、否決公告，或最終裁定作者身分與功勞歸屬。7

這個限制很關鍵：專家意見可以提升透明度與溝通品質，但不能僅靠一個諮詢小組，就把內部公司的主張轉化為數學界已接受的定理。

為何現在還談不上千禧年大獎？

Clay數學研究所的規則相當明確：研究所考慮一項千禧年難題的候選解答前，必須同時符合三項條件：在合格出版管道發表、發表後至少已過兩年，以及獲得全球數學界普遍接受。46

公司部落格文章、預印本、程式碼儲存庫或諮詢小組的意見，都不會自動滿足這些條件。Clay也在納維－斯托克斯公告後指出，其規則同時規範成果的評估流程與功勞歸屬。42

因此，即使OpenAI的納維－斯托克斯成果或日後其他成果最終被證明正確，2026年9月的宣布也不會讓它們立即具備得獎資格；相關工作仍須進入既有的發表、檢驗與學界接受程序。

結論

OpenAI確實宣稱其內部AI模型已解決超過100道開放數學問題，且先前已對納維－斯托克斯問題發布解析證明與Lean形式化。前者的廣泛成果目前沒有逐題公開的證據紀錄；後者則雖有公開檔案，仍未顯示已完成獨立審閱與社群接受。1311

現階段最合適的態度既不是一概否定，也不是搶先認定成功。這些可能影響深遠的主張，需要透明的證明、專家檢驗、審慎的貢獻歸屬，以及時間——尤其是任何暗示霍奇猜想等另一道千禧年難題已被解決的說法。