原文標題：Working with academic communities to build scientific understanding

OpenAI 於 10 月 26 日宣布，內部 AI 系統產生三項數學、理論電腦科學與物理學成果，並採用不同公開策略交由學術社群理解及驗證。公司將模型輸出視為尚待科學社群消化的原始研究資料，強調公開證明不等同於學界已形成共識。這三項主張若經嚴格驗證，影響將遠超一般模型基準分數，因此仍應清楚區分公司宣布與外部學界的最終判定。

第一項涉及調和分析的局部平滑猜想。OpenAI 聲稱模型已找到所有維度的證明，因而也可處理相關的 Kakeya 猜想與 Stein restriction 猜想。官方說明 AI 在 10 月 18 日產生自然語言輸出，次日完成 Lean 形式化，已公開自然語言說明與 Lean 證明供研究者查核。該證明使用新的輔助偏微分方程式。

第二項是計算複雜度理論中的 Exponential Time Hypothesis（ETH）。OpenAI 主張系統已找到反駁 ETH 的證明，並完成 Lean 形式化；自然語言成果產於 10 月 16 日，隔天完成形式化。ETH 常被用作圖論、計算生物學、資料庫等領域條件式困難度證明的假設。官方表示由 Russell Impagliazzo、Ramamohan Paturi 與 Ryan Williams 等學者領導外部合作團隊，並將公開原始資料、舉辦會議討論其含意。即使形式化檢查成立，也仍需社群理解其假設與推論邊界，不能直接宣稱現有加密技術已遭破解。

第三項涉及四維量子場論。OpenAI 聲稱已建立含規範場與費米子的交互作用理論存在性證明，包含量子色動力學（QCD）及標準模型的一種統一延伸；相關子問題包含純 Yang–Mills 理論存在性。官方指出模型在 9 月先產生自然語言材料，10 月 16 日完成 Yang–Mills 存在性的 Lean 形式化。此項工作由 David Gross、Michael Douglas、Arthur Jaffe、Igor Klebanov、Nikita Nekrasov 等學者參與的外部小組整理；目前選擇暫緩公開 AI 原始材料，先由團隊自行撰寫。

三組合作遵循公開合作關係、不要求保密協議、不由 OpenAI 爭取學術成果署名，以及外部研究者獨立參與等原則。對於物理證明，外部團隊將決定何時與如何公開；數學與電腦科學成果則已提供不同程度的可檢查材料。OpenAI 另提到對 Simons Foundation 的 500 萬美元支持，供科學社群研究與理解 AI 產生的成果。

科學界是否接受這些證明，仍取決於後續獨立檢驗、假設檢查、論文審查與學術討論。對 ETH 與量子場論等重大主張，新聞報導應持續以「OpenAI 宣稱」或「官方公布」描述，而非視為已獲所有領域專家一致確認的定論。

發生了什麼事

OpenAI 公布三項 AI 生成的重大理論研究主張，涵蓋數學、複雜度理論與量子場論，並啟動外部學者驗證。

為什麼重要

若主張成立將影響多個基礎學科，但目前的重點是可檢驗材料、學術合作及證明適用條件，而不是直接宣布所有猜想已獲普遍承認。

影響哪些人

數學家、理論電腦科學家、物理學者、形式化驗證研究者及關注 AI 科學研究的讀者。

已確認與未確認

部分自然語言與 Lean 證明已公開，物理原始材料暫未公開；各項結論仍待獨立研究者完整理解與學界檢驗。