OpenAI 宣布数学、计算机与物理学三大科学突破

OpenAI 近日宣布在数学、计算机科学和物理学领域取得三项新进展。公司正致力于将 AI 生成的研究成果转化为严谨的科学认知，并为此开启了与学术界深度协作的新模式。

协作模式的演进

OpenAI 邀请外部权威专家担任“导师”，针对不同成果采取差异化发布策略：

• 数学成果：公开 AI 输出，由研究人员自由组织研究。
• 计算机科学成果：组建外部协作组进行解读，同时向公众公开 AI 原始数据以便复核。
• 物理学成果：将材料移交给外部专家组，由其主导后续的解读与发布。

合作遵循四大原则：保持透明（不签保密协议）、不寻求学术署名、确保参与者的成果获得认可、以及研究过程的独立性。

数学：破解 Kakeya 猜想

OpenAI 的模型在局部平滑（local smoothing）猜想上取得突破，证明了该猜想在所有维度下的成立，从而顺带解决了著名的 Kakeya 猜想和 Stein 限制猜想。该证明基于一个全新的辅助偏微分方程。目前，AI 生成的自然语言证明和 Lean 形式化证明已在 GitHub 公开。

计算机科学：证伪指数时间假设 (ETH)

ETH 是计算复杂性领域的重要猜想，被广泛应用于算法分析。OpenAI 的系统证明了 ETH 为假，这一结论已通过 Lean 形式化验证。由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 领衔的专家组将负责后续研究。OpenAI 同时承诺资助相关会议，以探讨该发现对计算科学的深远影响。

物理学：量子色动力学与标准模型

该成果给出了四维空间中某些量子场论的数学严谨存在性证明，涵盖了量子色动力学（QCD）以及标准模型的一种统一完备形式，其中也包含了千禧年大奖难题之一的杨-米尔斯理论（Yang-Mills theory）存在性证明。David Gross 等物理学泰斗组成的专家组将主导该项成果的后续研究与发布。

支持科研的未来

OpenAI 强调，这些合作旨在促进人类与 AI 共同协作。除了本次协作，OpenAI 此前已向西蒙斯基金会（Simons Foundation）捐赠 500 万美元，用于支持数学家适应 AI 时代，举办研讨会与专项研究。公司表示将持续收集各界反馈，探索如何更有效地通过 AI 加速科学发现。