OpenAI改写科学史：推翻ETH铁律并破解百年猜想 | AINEWS深度解读

type

status

date

slug

summary

计算机科学震动：统治学界近30年的ETH铁律被AI证伪

在所有重磅发现中，理论计算机科学界受到的冲击尤为剧烈。三十年来被全球计算理论学家奉为事实标准的“指数时间假设”（Exponential Time Hypothesis，简称ETH），竟然被AI直接证伪。

可满足性问题（SAT）是计算复杂度理论的基石，其中3-SAT问题更是NP完全问题的核心代表，直接牵涉千禧年七大难题之首的“P与NP”问题。上世纪90年代末，学者Russell Impagliazzo与Ramamohan Paturi提出了ETH假设，核心观点认为：对于3-SAT这类问题，不存在可以在“亚指数时间”内解决的算法，计算耗时必须随变量数量呈指数级爆发增长。近三十年间，无数涉及图论、数据库优化、计算几何、密码学和计算生物学的论文，都以ETH作为不可动摇的复杂度边界基石。

OpenAI的内部模型通过一份长达67页的精密论证，提出了一种能够在次指数时间内计数并判定3-SAT赋值解的全新算法构架，直截了当地宣告《指数时间假设是错的》。更具戏剧性的是，当年亲手提出该假设的学界宗师亲自参与审阅该AI证明。虽然证伪ETH并不等同于证明了P=NP，但在次指数时间上取得的突破，已经彻底动摇了理论计算科学的底层大厦。

终结百年难题：纯数学“挂谷猜想”全维度告破

如果说推翻ETH是推倒了理论计算的一堵高墙，那么在纯数学核心腹地——调和分析（Harmonic Analysis）领域，AI则攻克了一座跨越百年的世纪堡垒。

源于1917年日本数学家挂谷宗一提出的旋转针问题，数学界衍生出了极为深刻的“挂谷猜想”（Kakeya conjecture）。该猜想探讨在n维空间中，包含各个方向单位线段的集合是否必须具有满维度。这一问题看似纯粹几何，实则深植于现代傅里叶分析、偏微分方程乃至数论的命脉之中。此前，菲尔兹奖得主王虹等顶级数学家历经多年苦战，才在二维与三维空间上撕开缺口。

OpenAI的模型直接瞄准了更为上游的“母猜想”——由Sogge在1991年提出的全维度“局部平滑猜想”。模型构造了一种前所未有的新型辅助偏微分方程，成功将证明推向了所有空间维度（n≥2）。由于局部平滑猜想是挂谷猜想与Stein限制猜想的核心支柱，这一理论突破犹如击倒了第一块多米诺骨牌，带动了一整批分析学核心难题的解决。

触碰千禧年物理圣杯：四维QCD与杨-米尔斯理论存在性

在理论物理的前沿，诺贝尔物理学奖得主David Gross亲自领衔专家组，负责审阅并阐释AI给出的惊人证明：四维量子色动力学（QCD）与纯杨-米尔斯理论（Yang-Mills Theory）的严格数学存在性。

物理学家长期依赖微扰论和量子场论解释强相互作用以及微观粒子运行机制，但数学界始终面临一个严酷考验：如何在四维时空中，从严格公理化数学层面构造出非阿贝尔规范场的真实存在。这是克雷数学研究所设立的七大千禧年数学大奖难题之一。

OpenAI模型沿着构造性量子场论的前沿路线，给出了特定规范场与费米子理论的数学存在性框架，甚至涵盖了包含标准模型规范场的大统一补全。尽管目前尚未完全解决“正质量间隙”的最终难题，但AI能够独立完成数十页复杂的非微扰场论严格论证，已让当年起草千禧年物理难题的大师们深感震撼。

形式化验证与全新学术协作生态

除了突破本身的学术深度，最令人震撼的是AI处理与形式化验证的速度。在多个关键论点上，AI从生成自然语言描述的数学证明，到转化为Lean交互式定理证明代码，仅仅耗时一至数天。

更为关键的是，OpenAI明确了AI时代的学术伦理与合作原则： 1. 彻底透明：所有发现向学界完全开放，无需保密协议。 2. 放弃署名：OpenAI明确放弃模型生成发现的学术署名，将其作为“原始科研数据”归还学界。 3. 重视人类阐释：学术声誉归属于负责深度解读、撰写阐释论文并追溯科学思想源流的人类学者。 4. 巨额资助：联合Simons基金会投入数千万美元与算力资源，帮助科学家建立独立验证与研究生态。

通过对数千个开放科学问题调用海量深度算力，大模型正以肉眼可见的速度演变为人类探索未知的顶级“思想加速器”。

结论：重塑人类科学探索的未来

正如多位前沿人工智能专家所言，AI并不会凭空“消灭”或“取代”数学、计算机科学与物理学，而是正在从底层逻辑重塑学术研究的形态。

以往依赖人类直觉试错数十年乃至上百年的科研盲区，在大模型强大的模式识别、符号逻辑推导与形式化推理体系下正在被快速扫平。人类科学家正在从“漫长求证的苦行僧”，转变为“设定科学方向、理解AI洞察并指导现实世界的领航员”。关注AIGC门户与全网最新AI日报，跟随AGI浪潮见证这场正在重写人类科学史的深刻变革。