OpenAI 宣布三项 AI 科研成果：称模型证否指数时间假设、解出卡凯亚猜想

发生了什么

这次发布采用了 OpenAI 为 AI 产出成果设计的新披露方式：OpenAI 把三份手稿定位为原始研究数据，并邀请外部专家担任召集人，组织学界核查与阐释。三项成果的发布策略各不相同：数学成果直接公开 AI 原始稿件；计算机科学成果组建外部协作组，同时公开 AI 原始稿件；物理成果暂不公开 AI 原件，改由协作组自行撰写。

数学与计算机科学两项成果的产出与形式化时间均已公布：数学方面，AI 输出得于 10 月 18 日，次日完成 Lean 形式化，随后公开自然语言稿与 Lean 证明；计算机科学方面，指数时间假设的自然语言证否得于 10 月 16 日，Lean 形式化完成于 10 月 17 日，同样公开自然语言稿与 Lean 证明。物理方面，杨-米尔斯存在性的自然语言证明得于 9 月 9 日，量子色动力学证明得于 9 月 18 日，杨-米尔斯存在性的 Lean 形式化于 10 月 16 日完成，因篇幅与复杂程度推迟发布。

核查分工与资金安排也已公布：指数时间假设核查组由加州大学圣迭戈分校的 Russell Impagliazzo 与 Ramamohan Paturi、麻省理工学院的 Ryan Williams 牵头，Impagliazzo 与 Paturi 和 Francis Zane 同为该假设的原提出者；OpenAI 应核查组要求公开全部原始数据并承诺资助相关研讨会。物理核查组由 2004 年诺贝尔物理学奖得主 David Gross 牵头，成员包括 Michael Douglas、Arthur Jaffe、Igor Klebanov 与 Nikita Nekrasov。OpenAI 称协作遵循无保密协议、参与自愿无偿、结论独立于 OpenAI 的原则，且 OpenAI 不寻求学术署名；另有 OpenAI 向 Simons Foundation 提供的 500 万美元资助，用于支持理解 AI 成果的研讨会与项目。OpenAI 10 月 6 日曾以同样策略公开过一批 AI 数学手稿。

关键事实

1. 三项成果：数学：全维局部光滑猜想证明；计算机科学：指数时间假设证否；物理：量子色动力学与标准模型完备化的存在性证明，其中含纯杨-米尔斯存在性证明，属克雷数学研究所千禧年难题的一部分。
2. 数学背景：局部光滑猜想由 Sogge 于 1991 年提出，该猜想推出卡凯亚猜想与斯坦限制猜想；二维情形于 2019 年得证，三维卡凯亚猜想于 2025 年得证。
3. 指数时间假设背景：该假设关乎布尔公式可满足性的计算复杂度，与 P 对 NP 问题相关；据 OpenAI 称，数百篇论文以它为条件推导硬度结果，覆盖图论、计算生物学、数据库与计算几何等领域。
4. 公开状态：数学与计算机科学两项成果的 AI 自然语言稿与 Lean 证明已在 OpenAI 公开 GitHub 仓库发布；物理成果的 AI 原件暂不公开，由协作组自行撰写。
5. 核查组：指数时间假设组：Impagliazzo、Paturi、Williams；物理组：Gross、Douglas、Jaffe、Klebanov、Nekrasov。
6. 资金与原则：OpenAI 不寻求学术署名，协作无保密协议、参与自愿无偿、结论独立；OpenAI 向 Simons Foundation 提供 500 万美元，支持理解 AI 成果的研讨会与项目。