OpenAI称AI攻克三大难题：指数时间假设被证伪

10月26日，OpenAI宣布，其内部AI模型在数学、计算机科学与物理学三个领域给出了三项新的研究成果：一是宣称证伪了指数时间假设，二是证明了各维度下的局部光滑猜想，三是给出了量子色动力学等四维相互作用量子场论的存在性证明。公司同时强调，这些只是尚未经过同行评审的手稿，结论仍需学界检验。

计算机科学：指数时间假设被宣称证伪

最引人注目的是计算机科学的结果。指数时间假设（ETH）是计算复杂性理论中的一个核心猜想：它断言，3-SAT这类布尔可满足性问题不存在次指数时间的算法。几十年来，数百项关于计算难度的条件性结论都建立在这个假设之上。

OpenAI称，其模型找到了一种确定性算法，可以精确计数k-CNF公式的满足赋值个数，运行时间约为2的n除以（log n）的（1/2+o(1)）次方量级，且只占用多项式空间。由于计数比单纯判定“是否存在解”更难，能完成计数任务的算法自然也能解决判定问题，因此3-SAT情形直接与指数时间假设相矛盾。据OpenAI介绍，这份证明的自然语言版本由模型在10月16日生成，次日完成了Lean形式化，论文标注日期为10月17日、10月25日修订，证明代码已公开。

但“证伪”二字目前仍需打引号。包括该假设提出者在内的外部专家小组正在审查这份材料，加州大学圣迭戈分校的Russell Impagliazzo、Ramamohan Paturi与麻省理工学院的Ryan Williams在致研究界的信中写道：如果结论正确，它将改变理论计算机科学的重要部分；但他们的参与不应被视为对结论的背书。即使结论成立，它也不会解决P与NP问题，也不会让日常软件变快——它改变的是理论边界，而非工程现实。

数学：局部光滑猜想与Kakeya猜想

数学方面的结果是证明了Christopher Sogge在1991年提出的局部光滑猜想，且覆盖所有空间维度。该猜想研究的是波随时间如何集中；由于猜想之间的关联，这一结果同时也解决了Kakeya猜想与Stein限制猜想在所有维度下的情形。此前，人类数学家仅在三维情形下证明了Kakeya猜想，那是2025年Hong Wang与Joshua Zahl的工作。据报道，这项数学结果由模型在10月18日生成，次日完成Lean形式化，自然语言证明与形式化代码均已公开。

Lean形式化的意义值得说清：它意味着机器证明助手逐步骤检查了形式化表述的逻辑一致性，但这不等于人类数学界已经接受了证明的数学思想与完整论证。形式化通过与同行认可，是两道不同的关。

物理学：量子场论的存在性证明尚未公开

物理学方面的结果声称给出了某些四维相互作用量子场论的严格存在性证明，包括描述强相互作用、把夸克束缚在质子与中子内部的量子色动力学，以及纯杨-米尔斯理论。纯杨-米尔斯理论的存在性属于克莱数学研究所七大千禧年大奖难题的一部分，但仅证明存在性还不够——该难题还要求证明正质量间隙，因此这项工作即使成立，也不等于拿下千禧年大奖。OpenAI也已表态，不会就此申领千禧年大奖，学术荣誉应归于解释与验证这项工作的研究者。

与前两项不同，物理学部分的原始材料尚未公开。据报道，应负责审查的物理学家要求，这部分内容暂缓发布，由诺贝尔奖得主David Gross牵头的外部小组进行审查。也就是说，三项成果中公众目前能直接检验的是两项，第三项仍停留在“宣布”阶段。

背景分析：为什么是这三项一起出现

这次宣布并非孤立事件。约七周前，OpenAI刚宣布AI给出了纳维-斯托克斯问题的一个拟议解；三周前，公司又发布了数百份数学手稿。把时间线连起来看，OpenAI正在系统性地把“AI做数学与科学”从单点演示推向成批产出：先是大量手稿，再是三项直指著名猜想的结果。

OpenAI联合创始人兼总裁Greg Brockman写道，AI“开始帮助我们增进对宇宙的理解”。这句话的措辞同样值得注意：公司把AI写出的手稿定位为仍需人类解读的研究数据，并为每项结果配备了外部专家小组，决定材料如何发布、检验与解释。这种流程设计本身，就是对“AI证明能不能信”这一质疑的回应。

影响与展望：先别急着改写教科书

如果三项结论最终站得住，影响将是深远的：基于指数时间假设的数百项条件性难度结论需要重新评估；调和分析中几个悬置数十年的猜想将被一并解决；量子场论的数学基础也将向前迈出一大步。但在那之前，更值得关注的是检验过程本身：Lean代码能否被独立复现、数学界能否在形式化之外找到可理解的证明思路、物理学材料何时公开并接受审查。

对中文读者来说，一个理性的期待是：把10月26日的宣布理解为“一场公开检验的开始”，而非“三个难题的终结”。AI已经展示了它能写出看起来像证明的东西；接下来要证明的，是这些证明本身。未来几周，审查小组的反馈将比宣布本身更能决定这三项成果的历史位置。