OpenAI 科研合作：三项数学、计算机科学与物理学成果及验证安排
公告日期：2026年10月26日；整理日期：2026年10月28日
原文标题：Working with academic communities to build scientific understanding
原文署名：OpenAI；本文为中文整理。
OpenAI 科研合作此次涉及调和分析、计算复杂性理论和量子场论三个领域。根据所提供的公告文本，OpenAI 表示，其内部模型生成了涉及任意维度局部平滑猜想、指数时间假说（Exponential Time Hypothesis，ETH）以及量子色动力学（Quantum Chromodynamics，QCD）等理论存在性的证明，并正尝试通过不同的外部协作方式，将 AI 输出转化为学术共同体能够理解和检验的研究成果。
公告将这些手稿定位为一种“原始研究数据”。发布证明材料、检查形式化结果、解释证明思路及评估其学术影响，是本次合作分别需要推进的工作。
来源说明：本文依据读者提供的公告中文文本编辑。所提供材料未附原文和 GitHub 证明文件的完整链接，本站尚未独立核验这些页面及证明内容；下文的成果与时间线均为对该文本的归属转述。
一、OpenAI 科研合作采用三种发布方式
OpenAI 表示，发布流程将随相关学术社区的反馈持续调整。此次公司联系了外部专家，请他们组织研究团队理解相关结果，并根据建议采用三种不同安排。
| 研究方向 | 公告中的成果主张 | 材料发布与协作安排 |
|---|---|---|
| 数学：调和分析 | 给出任意维度的局部平滑猜想证明，并由此解决相应的 Kakeya 猜想与 Stein 限制猜想 | 公开 AI 自然语言输出及 Lean 证明，由研究人员自行组织解读 |
| 计算机科学：复杂性理论 | 给出 ETH 为假的证明，并称已在 Lean 中验证 | 组建外部合作团队，同时公开自然语言证明和 Lean 形式化材料 |
| 物理学：量子场论 | 给出包括 QCD 及某些含规范场和费米子的四维理论在内的严格存在性证明 | 组建外部合作团队，由团队决定材料发布方式；公告称 AI 生成材料暂不公开，团队将自行撰写文稿 |
OpenAI 尚未判断哪种方式最有用，并邀请社区反馈。外部专家能够帮助解释结果、梳理其与既有研究的关系；与此同时，最初邀请哪些专家，也会影响谁先接触材料，并造成信息不对称。
二、OpenAI 科研合作的四项原则
公告为外部合作提出了四项原则，涉及透明度、学术荣誉、研究贡献认可和参与者独立性。
- 透明度。 OpenAI 公开合作的存在，不要求参与者签署保密协议。参与者可以讨论工作、分享中间成果，并发表自己的结论。
- 不寻求学术荣誉。 OpenAI 表示，不为内部模型产生的发现寻求学术荣誉。邀请研究人员管理合作，也不意味着这些研究人员或其工作组做出了原始发现。
- 认可研究贡献。 团队应因其建立的理解、撰写的文稿及其他材料获得认可，同时帮助确保相关研究人员、技术和思想得到适当归功。
- 独立性。 参与自愿且无报酬，成员独立开展工作并对自己的结论负责。他们不代表 OpenAI 发言，OpenAI 也不代表他们发言。
公告还表示，OpenAI 将把相关材料和产物移交给合作团队，由各团队推进理解与后续工作。
三、调和分析：局部平滑、Kakeya 与 Stein 限制猜想
局部平滑猜想（local smoothing conjecture）由 Sogge 于 1991 年提出，研究波在传播过程中聚焦的行为。公告用直观语言解释：最极端的聚焦应当是短暂的，典型时刻的聚焦程度远低于最坏情形，因此在时间上取平均后，应能获得额外的估计改善。
这一问题与调和分析中的其他核心猜想紧密相关。公告列举的既有进展包括：Guth、Wang 和 Zhang 于 2019 年证明两个空间维度下的局部平滑猜想；Wang 和 Zahl 于 2025 年证明三维 Kakeya 猜想。
按照 OpenAI 的表述，其模型给出了任意维度下的局部平滑猜想证明，并由此解决所有维度的 Kakeya 猜想和 Stein 限制猜想。 公告称，新证明建立在一个新颖的辅助偏微分方程之上。
文中给出的时间线为：
- 2026年10月18日： 获得 AI 自然语言输出。
- 2026年10月19日： 将结果在 Lean 中形式化，随后联系外部专家讨论合作方式。
- 公告发布时： 据称已在公开 GitHub 仓库发布自然语言输出报告和 Lean 证明，沿用 2026 年 10 月 6 日一次发布所采用的策略。
数学方向此次采取公开输出、由研究人员自由组织解读的方式。具体定理陈述、参数范围、形式化假设及与现有文献的对应关系，仍需结合实际证明文件评估。
四、计算复杂性：公告称指数时间假说为假
指数时间假说讨论布尔公式可满足性问题的计算复杂性。其常见表述是：不存在以变量数为参数、在次指数时间内解决一般 3-SAT 问题的算法。ETH 与 P vs. NP 问题密切相关，但否证 ETH 本身不能直接推出 P = NP。
公告指出，ETH 长期被用于推导条件性的计算困难性结论，相关研究涉及图论、计算生物学、数据库和计算几何等领域。OpenAI 表示，其系统生成了 ETH 为假的自然语言证明，随后在 Lean 中完成验证。
如果该主张得到确认，依赖 ETH 的相关条件性下界需要重新审视，但这也不等于所有相关任务立即获得实用算法。寻找更快算法，以及将渐近复杂度的改进转化为实际收益，仍需进一步研究。
公告列出的外部合作负责人为：
- Russell Impagliazzo，UC San Diego： ETH 的最初提出者之一。
- Ramamohan Paturi，UC San Diego： ETH 的最初提出者之一。
- Ryan Williams，MIT： 研究方向包括算法设计、复杂性下界以及二者之间的联系。
文中提到，Impagliazzo 和 Paturi 与 Francis Zane 共同提出了 ETH，并在过去约 30 年间持续研究这一主题；Williams 的相关工作涉及更强版本假说、条件性困难性结果，以及通过算法研究复杂性下界。
按照公告的时间线，AI 于 2026年10月16日 找到自然语言反证，团队于 10月17日 在 Lean 中形式化该结果。OpenAI 称，已应外部团队要求公开原始材料，并承诺资助一次会议，帮助社区理解其影响。
合作团队邀请学术社区参与对 ETH 主张的公开审查，也讨论 AI 生成突破涉及的验证、访问权限、署名和研究组织方式等问题。
五、量子场论：QCD 与纯 Yang–Mills 理论的存在性
物理方向的主张涉及四维相互作用量子场论的严格数学构造。公告称，这项工作覆盖某些包含规范场和费米子的理论，包括 QCD，以及一种包含标准模型规范场和费米子的统一完备化，并建立在构造性量子场论中 Balaban 的方法之上。
标准模型描述电磁、弱和强三种基本相互作用。QCD 是其中描述强相互作用的理论，涉及夸克和胶子；纯 Yang–Mills 理论则只包含规范场的自相互作用，不包含夸克等物质场。
公告称，纯 Yang–Mills 理论的存在性证明是这项工作的一个子问题，也是 Clay 数学研究所“量子 Yang–Mills 理论与质量间隙”千禧年问题的一部分。存在性与质量间隙是需要分别说明的要求，不能仅凭公告中的存在性主张，就认定整个千禧年问题已经解决。 同样，文中关于统一完备化的说法，也不意味着引力已被纳入或所有基础物理问题得到解决。
公告列出由 David Gross 领导的合作小组，成员包括：
| 成员 | 公告介绍的相关研究背景 |
|---|---|
| David Gross | Yang–Mills 理论中的渐近自由，相关工作获 2004 年诺贝尔物理学奖 |
| Michael Douglas | 长期跟进 Yang–Mills 千禧年问题及其进展 |
| Arthur Jaffe | 与 Edward Witten 共同提出该千禧年问题的正式表述 |
| Igor Klebanov | 规范—弦对偶、禁闭与 QCD 弦相关研究 |
| Nikita Nekrasov | Yang–Mills 理论推广中的精确方法，获 2023 年 Dannie Heineman 数学物理奖 |
文中给出的关键日期为：
- 2026年9月9日： 模型生成 Yang–Mills 存在性的自然语言证明。
- 2026年9月18日： 模型生成 QCD 的自然语言证明。
- 2026年10月16日： 完成 Yang–Mills 存在性的 Lean 形式化，随后推进外部合作。
这里应区分材料的完成状态：所提供文本明确给出了 Yang–Mills 存在性形式化完成的日期，但未单独给出 QCD 全部结果的 Lean 形式化完成日期。
由于工作的长度与复杂性，公告称发布曾被推迟。外部合作小组随后决定暂不公开 AI 生成产物，而是自行撰写材料。原文还列出该组的统一通信地址为 YANGMILLS4D@gmail.com；本文仅保留这一来源信息，联系前应通过正式公告核对。
六、研究支持与后续公开审查
OpenAI 表示，这些合作补充了其此前宣布向 Simons 基金会捐赠 500 万美元的安排。资金由 Simons 基金会管理和授予，用于支持研讨会、会议及特别项目，帮助研究人员独立审查、解释 AI 产生的结果，并在此基础上开展研究。
对于读者，后续值得关注的材料包括：实际公开的证明与代码、外部团队的署名文稿、形式化定理与原始问题的对应说明，以及社区公开审查所发现的限制或修订。
Lean 可以通过内核检查形式化证明是否符合其逻辑规则；学术评估还需要确认形式化命题准确对应研究问题、假设清楚，并解释证明为何成立。这些环节共同决定研究结果如何转化为可复用的科学理解。
七、常见问题
公告是否代表三项成果已获得学界最终认可？
不能据此作出这一判断。所提供文本说明了 OpenAI 的成果主张、部分形式化进度和外部协作安排，学术共同体的独立审查与解释仍是重要环节。本文也未独立检查相关证明文件。
ETH 为假是否意味着 P = NP？
不意味着。ETH 排除了针对 3-SAT 的次指数时间算法，而 P vs. NP 讨论的是多项式时间可解性。一个次指数时间算法仍可能慢于任何多项式时间算法。
Yang–Mills 存在性证明是否等于解决质量间隙问题？
不等于。公告表述的是存在性结果，质量间隙是需要额外建立的性质。是否满足千禧年问题的全部要求，应以完整定理、证明和后续专业审查为依据。
到哪里查找原始材料？
可从 OpenAI 官网查找英文标题“Working with academic communities to build scientific understanding”，再沿正式公告中的链接核对仓库与团队材料。本文没有补写所提供文本中缺失的证明文件链接。
OpenAI 科研合作此次同时尝试三种发布方式，其后续价值有赖于公开材料、独立审查以及研究人员对证明的解释。跟进时，建议优先阅读原始定理陈述和外部团队报告；若希望先了解通用 AI 工具的基础能力，可参阅站内的 ChatGPT 是什么：核心功能与使用场景。