OpenAI 攜手學術界驗證 AI 於數學、資工與物理領域的新發現

OpenAI 表示其模型產出了涵蓋調和分析、反駁指數時間假說（ETH）以及量子場論存在性證明的理論成果。該機構正與獨立學者合作試行三種公開釋出策略，提供原始研究資料與 Lean 形式化證明以供社群檢驗，並表明不尋求學術掛名信用。

值得帶走的重點

• OpenAI 稱其模型證明了任意維度的局部平滑假說並反駁 ETH，已於 GitHub 公開 AI 自然語言輸出與 Lean 形式化證明。
• 在物理領域，模型產出了涉及量子色動力學的理論存在性證明，由 David Gross 等外部專家小組主導後續撰寫與釋出評估。