一家AI公司，在同一天里宣布在数学、计算机科学和物理学三个领域各拿下一座“高峰”。

美国人工智能公司OpenAI近日公布了三项由其内部模型完成的研究成果。它们分别指向调和分析中的挂谷猜想、计算复杂性理论的基石“指数时间假设”，以及描述强相互作用的量子场论。

消息一出，科技圈和学术圈同时沸腾，惊叹与质疑几乎同步而来。

如果这些结论全部成立，它们将分别改写数学、计算机科学和物理学教科书中的重要章节。

需要先说明的是，截至目前，这三项成果都尚未经过独立的同行评审，距离被学界正式接受还有一段路要走。

一、挂谷猜想：一根针掉头引出的百年难题

挂谷猜想源于日本数学家挂谷宗一在1917年提出的一个看似简单的问题。在平面上让一根长度为1的针掉转方向，扫过的面积最小可以有多小？

令人意外的是，答案可以任意小，但在高维空间中，这类集合的“维度”却被猜想始终是满的。

这个问题后来与傅里叶分析、波动方程和数论紧密交织，成为调和分析领域最核心的难题之一。2025年，数学家王虹与约书亚·扎尔证明了三维情形，被视为近年来数学界的重大突破。

而OpenAI此次声称，其模型证明了美国数学家索格于1991年提出的“局部光滑猜想”，并且一举覆盖所有维度。

局部光滑猜想研究的是波在传播过程中如何变得“更平滑”，它在逻辑上比挂谷猜想更强，就像攻下主峰之后，山脚下的营地自然也被拿下。

按照OpenAI的说法，这一结果可以推出挂谷猜想和斯坦因限制猜想。不过，技术论文中的表述更为谨慎，称相关推论成立于猜想范围的内部区域。

相关证明已公开发布在代码托管平台上，供全球数学家逐行检查。

据介绍，这份证明的初稿于10月18日完成，次日便生成了经计算机检查的版本。

二、指数时间假设：计算机科学的“地基”松动了吗

如果说挂谷猜想是数学家的老朋友，那么指数时间假设就是理论计算机科学家脚下的地基。

这一假设由美国加州大学圣迭戈分校的拉塞尔·因帕利亚佐与拉马莫汉·帕图里提出，并于2001年正式发表。它断言，像3-SAT这样的经典难题，不可能在亚指数时间内被解决。

3-SAT可以想象成一个巨型逻辑拼图：给定一堆约束条件，判断是否存在一种赋值方式能让所有条件同时成立。

数百篇论文以这一假设为前提，推导出各种问题“到底有多难”的结论。一旦假设被推翻，这些结论都需要重新审视。

OpenAI称，其模型给出了一个确定性算法，能在亚指数时间和多项式空间内，精确计算固定宽度合取范式公式的满足赋值数量。

据报道，该算法求解3-SAT的时间约为2的n除以根号log n次方量级，比暴力搜索快，但在日常意义上依然很慢。

这一证明已用形式化验证工具Lean完成检验，是三项成果中唯一附有机器验证的一项。但专家提醒，机器验证只能保证形式化命题正确，未必能确认它与原始表述完全对应。

值得强调的是，这并不意味着“P等于NP”被证明。OpenAI总裁格雷格·布罗克曼也表示，P大概率仍然不等于NP。

因帕利亚佐、帕图里以及麻省理工学院的瑞安·威廉姆斯已参与审阅，但他们明确表示，参与审阅并不等于为结果背书。

据称，这一证明的初稿在10月16日完成，次日即完成形式化验证，速度之快令不少学者咋舌。

第三项成果来自物理学，也最引人遐想。

OpenAI称，其模型给出了四维量子色动力学等相互作用规范场论的严格存在性证明。其中纯杨-米尔斯理论的存在性证明完成于9月9日，量子色动力学版本则于9月18日完成。

杨-米尔斯理论描述了将夸克束缚在质子和中子内部的强核力，是粒子物理标准模型的支柱之一。

美国克雷数学研究所将“杨-米尔斯存在性与质量间隙”列为七大千禧年难题之一，悬赏100万美元。但OpenAI并未声称解决质量间隙问题，这笔奖金依然无人领取。

物理部分的材料目前并未完整公开，而是交由诺贝尔物理学奖得主戴维·格罗斯领衔的专家小组审阅，并由他们决定后续发布方式。

小组成员还包括迈克尔·道格拉斯、阿瑟·贾菲、伊戈尔·克列巴诺夫和尼基塔·涅克拉索夫等知名学者，他们表示将亲自撰写相关成果。

这意味着外界暂时无法逐行审查这项证明。在三项成果中，它的可检验性也最低。

值得一提的是，OpenAI表示不寻求这些成果的学术署名，并向西蒙斯基金会捐赠500万美元，用于支持与AI数学相关的研讨活动。

过去，数学界审核一项重大证明往往需要数月甚至数年。如今，AI生成证明的速度，正在考验人类的验证能力能否跟上节奏。

如果这些成果最终经受住检验，人类科研的分工方式或将被彻底改写。

也有学者指出，这些审阅专家由OpenAI邀请，评审的独立性仍有待观察。真正的检验，还需要来自全球学术共同体的反复推敲。

但在尘埃落定之前，最科学的态度仍是保持期待，同时保持怀疑。