OpenAI：AI 证明 Exponential Time Hypothesis 为假

Working with academic communities to build scientific understanding

OpenAI 宣布在数学、计算机科学和物理学领域取得三项突破性进展。我们的模型不仅解决了 Local Smoothing Conjecture 和 Kakeya Conjecture，还证明了 Exponential Time Hypothesis (ETH) 为假，并给出了 Quantum Chromodynamics (QCD) 及标准模型统一完成的数学存在性证明。为了将这些原始数据转化为真正的科学理解，我们邀请了 Russell Impagliazzo、David Gross 等顶尖学者作为 Shepherds，通过透明、独立且无学术利益冲突的合作模式，共同解读这些成果。我们选择将 AI 生成的自然语言证明和 Lean 形式化代码公开，让学术界自由验证与构建。这不仅是一次技术展示，更是探索人类与 AI 协作推动基础科学发展的新范式。