OpenAI称AI推翻二十多年的计算难度假说，原提出者亲自来验算

BiRun 讯，OpenAI 公布三项 AI 科研突破，涉及数学、计算机科学和物理。

在计算机科学领域，AI 推翻了长期被广泛接受的指数时间假说（ETH）。学界过去认为，像 3-SAT 这样的复杂问题，最坏情况下躲不开指数级增长的计算时间。OpenAI 称，模型找到了一种更快的亚指数时间算法，甚至能精确统计所有满足条件的解。这意味着数百篇以 ETH 为前提的计算难度研究，可能需要重新审视。

数学方面，AI 给出了 1991 年提出的局部平滑猜想在所有维度上的证明。这个猜想研究波在传播时，能量高度集中的状态能持续多久。新证明还一并解决了 Kakeya 猜想和 Stein 限制猜想在所有维度的情形。

物理方面，AI 为量子色动力学和杨–米尔斯理论给出了严格的数学存在性证明，涉及悬赏 100 万美元的千禧年难题。这次解决的是存在性部分，质量间隙仍是悬案。

数学和计算机科学的证明均已公开，并通过 Lean 形式化验证。ETH 的两位原始提出者已加入独立审查工作；物理成果暂未公开，将由诺贝尔物理学奖得主 David Gross 等专家进一步核实。

信源。