OpenAI 宣稱 AI 提出三項科學成果：數學、計算難題與量子物理如何驗證？
OpenAI 宣稱 AI 提出三項研究成果。整理數學、指數時間假設與量子物理主張，解釋 Lean 驗證與學者審查的界線。
OpenAI 在 2026 年 10 月 26 日表示，內部 AI 模型產出了數學、電腦科學和物理領域的三項研究結果，並邀請外部研究者協助理解與檢驗。
消息受到關注，因為其中涉及長年研究的數學猜想、計算複雜度假設，以及量子場論中的存在性問題。
但「公司公布一份證明」和「學術界已經確認問題解決」是不同階段。數學與電腦科學材料已公開，物理研究材料則依合作研究者的建議暫緩公開。
OpenAI 表示部分結果經過 Lean 形式化，但形式化檢查能回答的問題，仍取決於定義、假設和實際被檢查的命題。研究社群還需要確認它們是否對應原本的重要問題。
對一般讀者來說，不必先看懂所有數學細節，也能抓住三個判斷：各項主張是什麼、哪些資料能公開檢查，以及哪些結論仍在等待外部驗證。
OpenAI 這次公布什麼？三個領域、三種公開方式
這次的公告涵蓋調和分析、計算複雜度和量子場論。這三個領域都涉及長期研究問題，但它們的研究方法和驗證方式並不相同，不能因為同一篇公告發布，就視為同一項成果。
公司表示，數學部分涉及局部平滑猜想及其相關推論，電腦科學部分是指數時間假設，物理部分則涉及楊－米爾斯理論、量子色動力學及其他量子場論的存在性。
公司將這些內容描述為模型產出的研究材料，並請外部專家協助組織後續工作。公司說，這些人以獨立身分參與，他們的判斷不代表公司的立場，公司也不替他們發言。
三組材料的公開方式不同。數學方面，該公司已公開模型產出的文字內容和 Lean 材料，讓研究者自行檢查。電腦科學方面，公開文字與形式化資料，同時設立外部合作團隊。
物理方面，依公告所述，外部團隊希望先整理和撰寫相關內容，因此 AI 產出的原始材料暫不公開。這意味外界目前無法以同樣方式直接閱讀三項研究的全部證據。
所以閱讀這則消息時，最好把「主張」「材料是否可取得」和「是否完成專家驗證」分開。前兩項可以從公告與公開檔案追蹤，第三項則需要等待研究社群的正式討論。
數學主張是什麼？局部平滑與相關猜想
OpenAI 說，模型產生了一份涉及所有維度的局部平滑猜想證明，並主張若結果成立，將帶出 Kakeya 猜想及 Stein 限制猜想的相關結果。這些是公司對研究材料的描述，尚不能在本文當成已獲學界確認的定理。
局部平滑研究與波的行為有關。公告用波集中作為背景：某些極端情形可能在特定時間出現，但研究者也關心，若觀察一段時間的平均表現，波的集中程度能受到什麼限制。
這不是日常生活中的「影片變平滑」，而是數學家用來分析波動方程與相關問題的一組精確命題。不同維度、允許的條件與結論範圍，都可能改變問題本身。
公告回顧，研究者先前已證明二維情況，另有研究處理三維 Kakeya 猜想。這些既有研究提供背景，但並不自動證明新材料涵蓋所有維度的主張成立。
公司說，新方法依賴一個輔助偏微分方程，並公開自然語言稿與 Lean 形式化材料。對相關領域的研究者來說，接下來需要檢查的不只是一句「模型找到證明」，還包括方法是否適用於聲稱的全部條件。
如果資料中使用了特定假設，或形式化結果與原始猜想之間仍有需要說明的差距，研究者就必須把這些關係寫清楚。完成這個過程，讀者才能知道結論真正覆蓋哪些情形。
延伸閱讀：OpenAI 公開 722 份 AI 數學稿件：372 組成果與 Lean 驗證怎麼看？
指數時間假設是什麼？AI 主張不等於立即加速電腦
指數時間假設與演算法處理某些問題所需的時間有關。簡單說，當輸入規模變大，部分問題的計算量可能增加得非常快，研究者因此用這類假設分析哪些問題可能很難大幅加速。
OpenAI 表示，它的系統產出一份反駁這項假設的結果，之後又將結果形式化。公司已公開自然語言材料與 Lean 檔案，供其他人研究和檢驗。
這是一項非常重大的主張，但目前仍應說「OpenAI 宣稱」或「待專家驗證的結果」。假設涉及的定義、演算法、複雜度界線和形式化是否對應原始問題，都需要專業研究者逐項檢查。
公司表示，合作團隊要求公開相關原始資料，讓社群有機會獨立檢查。公司也承諾資助一場討論此結果及其影響的會議。這些安排有助於更多人取得材料，但會議本身不會替代對證明細節的驗證。
公司說，電腦科學合作團隊將由 Russell Impagliazzo、Ramamohan Paturi 與 Ryan Williams 等研究者協助組織。其中 Impagliazzo 和 Paturi 參與提出原始假設，這讓合作具備重要的問題背景，但參與組織審查本身不等於他們已公開確認證明正確。
即使一項理論結果最後成立，也不能立刻推論今天的電腦會自動變快。從理論上的界線到實際可執行的程式，中間仍涉及演算法設計、常數成本、資料規模與硬體實作。
同樣地，不能只憑這則公告宣稱現有加密系統已被破解。不同加密機制依賴不同假設，安全影響需要對照具體系統與研究內容，而不是把一個計算複雜度主張套到所有密碼技術。
量子物理主張有哪些限制？原始材料尚未公開
物理部分涉及量子場論。OpenAI 表示，其模型產出關於若干四維量子場論的數學存在性研究，包含量子色動力學及與標準模型相關的內容。
量子色動力學研究強交互作用，是理解夸克和膠子等粒子行為的重要理論。公司在公告中將研究定位為對這些理論進行更嚴格的數學處理，而不是宣稱找到一種新的日常能源技術。
OpenAI 也提到，楊－米爾斯理論的存在性與一項千禧年難題有關。但存在性只是相關問題的一部分。克雷數學研究所的題目還要求證明正的質量間隙（mass gap），也就是相關量子激發的能量存在正的下限。不能把公告改寫成「已完整解開千禧年難題」，更不能宣稱已獲獎。
公司說，David Gross 將協助組織外部研究者檢視這項工作。依公告，該團隊希望先自行整理結果，所以 AI 原始材料暫不對外公開。
這個選擇帶來明確限制：外界目前不能像數學與電腦科學部分一樣，直接取得完整材料進行獨立檢查。研究者名單與合作安排顯示後續會有人投入，但不能代替他們公開的審查結論。
對讀者來說，最重要的是等待可供檢驗的材料與研究者說明。若之後只公開摘要，還要確認摘要對應的證明內容、使用的假設，以及是否涵蓋公告提到的所有結論。
Lean 形式化代表什麼？為什麼仍需要專家看
Lean 是一種用來撰寫與檢查形式化數學證明的工具。研究者把定義、假設和推理步驟轉成電腦能處理的形式，再讓系統檢查證明是否符合其邏輯規則。
這能幫助檢查長推理中容易被人忽略的步驟。當一份材料太長，人工逐行閱讀可能耗費很多時間，形式化讓研究者多了一個可以重複執行的檢查方式。
但檢查通過的意義取決於「究竟檢查了什麼」。如果形式化的定義沒有正確表達研究者原本要問的問題，或某些重要前提被留作假設，電腦檢查通過也不能自動補足這些差距。
例如一份論證可能正確證明「在特定條件下，某個結論成立」，但新聞標題卻把特定條件省略。這時錯誤不一定發生在邏輯推導，而可能發生在對結果範圍的轉述。
公司表示相關模型輸出已經形式化，這是公司對工作流程的說明。要評估實際證據，外部研究者仍需查看公開檔案、檢查工具版本與依賴，並核對形式化命題和自然語言稿是否一致。
延伸閱讀：AI 數學證明為何還需要人理解？從陶哲軒部落格討論，建立可靠解題教學流程
因此，人工理解並沒有因為有 Lean 就消失。專家需要判斷哪些假設重要、方法與既有研究如何連接，以及一個結果是否真的回答社群多年來提出的問題。
為什麼這次邀請外部學者？研究速度與理解要一起考慮
公司表示，它正在依學術社群的回饋調整發布方式。公司將這些模型產出視為需要進一步理解的研究材料，並嘗試讓不同專家團隊依各自領域選擇整理方式。
這種做法希望讓具備背景的研究者協助建立脈絡：哪些結果值得優先檢查、哪些步驟需要補充說明，以及工作與前人的方法有什麼關聯。
公告也承認，先邀請部分研究者會影響誰最早能接觸材料，產生資訊取得不對稱。即使合作團隊是獨立的，公開時程與資料取得仍會影響其他研究者能否參與。
另一個問題是研究署名與貢獻。OpenAI 說公司不尋求這些模型產出發現的學術署名，並表示參與研究者應因其整理、解釋與後續撰寫獲得相應認可。如何實踐仍需看各項工作的具體成果與社群討論。
這並不意味所有研究都應採取相同模式。數學稿直接公開能讓更多人檢查，也可能增加研究者處理大量材料的負擔；物理材料先交由團隊整理，則可能讓外部社群較晚取得完整證據。
讀者可以持續觀察後續是否有公開的審稿、形式化檔案與專家報告。比起只看發布當天的巨大標題，這些後續資料更能說明研究真正推進了多少。
普通使用者需要改變什麼？先別把研究公告當成產品功能
這次公告討論的是內部模型產出的研究材料，沒有說明一般 ChatGPT 使用者現在可以按一個按鈕，重現全部結果。研究系統所使用的資源、模型與檢驗流程，也不能直接等同於一般日常使用情境。
學生與研究者可以把它當成理解 AI 科學研究流程的案例：先提出主張，再公開足夠材料，最後由相關領域的人確認推理和意義。引用時應標示日期、來源與目前的驗證狀態。
若用 AI 協助自己的研究，仍應保存參考資料、檢查運算及文字引用，並按照學校或期刊規定揭露使用方式。模型的答案可能提供方向，但不能取代對來源和證據的責任。
企業使用者也不必因為「指數時間假設」這類名詞，就立即改動所有系統。先釐清自己的工作是否與被討論的理論問題有關，再等待專家確認具體影響，會比根據單一標題做決策可靠。
這次公告顯示，AI 產生研究材料後，公開、形式化和人類理解仍是不同工作。這三項主張是否成立，應由後續可檢驗的證據與專家審查回答。想了解 AI 證明的驗證流程，也可以參考本文的延伸閱讀。
常見問題
OpenAI 已經證明三項科學難題都解決了嗎？
OpenAI 宣稱模型產出相關證明或研究結果，但外部研究者仍需要檢查。物理部分的 AI 原始材料目前暫未公開。
Lean 檢查通過就代表結果一定正確嗎？
Lean 能檢查形式化證明的邏輯，仍須確認定義、假設與被檢查命題是否對應原本問題，以及公開材料的實際狀態。
指數時間假設的主張代表加密已被破解嗎？
不能這樣推論。理論主張仍待檢驗，不同加密系統的安全性也依賴不同條件。
楊－米爾斯千禧年難題已經完整解決嗎？
公告描述的是相關理論的存在性主張，並未等於完整證明千禧年問題的所有要求。原始物理材料目前也尚未公開。
