ETH 假设被推翻：OpenAI 三项基础学科突破

据 Woofun AI 消息，10 月 26 日，OpenAI 正式披露了其内部模型在计算机科学、物理学与数学三大基础领域取得的突破性进展。此次发布的三项研究成果并非简单的应用层优化，而是直击各学科长期悬而未决的核心难题。OpenAI 将这些由 AI 生成的文稿定义为'原始研究数据'，旨在邀请全球学术界进行严格的验证、解释以及开展深入的后续研究，以此推动基础科学的边界拓展。

在计算机科学领域，指数时间假设（Exponential Time Hypothesis，简称 ETH）被证明不成立，这一结论随后在 Lean 定理证明器中得到了形式化验证。需要明确的是，此处的 ETH 指代的是理论计算机科学中的指数时间假设，而非以太坊区块链网络。ETH 长期以来被视为该领域的'悲观猜想'，其核心观点认为，对于某一类特定的逻辑难题，无论算法如何迭代改进，其在最坏情况下的计算耗时都会随着问题规模的扩大呈爆炸式增长，不存在真正的捷径。

ETH 假设的推翻，重新开启了关于'这些任务究竟还能快多少'的学术探讨，并为寻找更高效的算法提供了新的理论方向。OpenAI 同时指出，将这一理论进展转化为实际的算法改进，仍需大量的后续研究工作。对于加密货币社区而言，更直接的关切在于这是否会影响现有加密系统的安全性。许多密码方案的安全性依赖于某些具体计算问题的难解性。MIT 教授 曾要求 OpenAI 检查相关影响。据他转述，OpenAI 已进行过详细检查，并较有把握地认为，这项结果并不意味着现有密码系统被破解。

在物理学领域，OpenAI 声称其模型为纯 Yang-Mills 理论、量子色动力学（QCD，描述夸克与胶子之间的强力）以及一种包含标准模型规范场的大统一理论，给出了严格的'存在性'证明。简而言之，这是为这套沿用数十年的物理理论补上了缺失的数学地基。

目前，仅有 Yang-Mills 部分完成了 Lean 验证，QCD 部分的公告中未提及验证状态。AI 生成的原始证明暂不对外公开，而是交由诺贝尔奖得主 领导的小组先行研究，并由该小组自行撰写文稿，因此外界暂时无法独立检验这些证明的正确性。

这一举措既体现了对学术严谨性的尊重，也引发了关于 AI 生成内容透明度的讨论。

在数学领域，OpenAI 表示其模型证明了所有维度下的局部光滑性猜想，并由此解决了所有维度下的挂谷猜想和施泰因限制猜想。局部光滑性猜想由 于 1991 年提出，主要研究波在聚焦时的行为。可以用水波作一个直观类比：几股波纹朝同一个位置传播，某一刻可能叠加出很高的波峰。但这个瞬间的剧烈程度，并不能直接代表整段时间的平均表现。局部光滑性猜想旨在用精确的数学估计，描述这种瞬时极端表现与时间平均之间的关系。

由于这一现象具有基础性意义，证明它也会对其他数学问题产生深远影响，其中就包括挂谷猜想和施泰因限制猜想。挂谷猜想可以从'放针'的问题理解：想象在空间中放置许多根长度相同、没有粗细的针，让每一个方向都至少有一根针。这些针可以平移，也可以互相重叠。它们组成的集合，究竟能被压缩到多小？这里衡量'大小'的关键，是数学上的维数。在三维空间中，挂谷猜想认为，这样的集合必须具有完整的三维；在更高维空间中，也必须具有相应的完整维数。

维数与体积是不同概念，因此不能简单理解为这些针至少占据多少立方米。此前，二维的局部光滑性（2019 年）和三维的挂谷猜想（2025 年，由与 证明）已分别被证实。OpenAI 此次公布的结果，将局部光滑性猜想的证明推进到所有维度，并由此得到相关猜想在所有维度下的结论，实现了从低维到高维的跨越。