OpenAI 称证伪指数时间假设并解决所有维度挂谷猜想

10 月 26 日，OpenAI 宣布其内部模型取得三项成果：证明所有维度下的局部光滑化猜想、证伪指数时间假设（ETH），并为包括量子色动力学在内的某些四维量子场论建立严格存在性证明。ETH 主张不存在亚指数时间解决所有 3-SAT 问题的算法，OpenAI 给出运行时间 2^{O(n/√log n)} 的算法，若证明成立即证伪这一使用了近 30 年的基础假设，原始提出者 Impagliazzo 与 Paturi 正和 MIT 的 Ryan Williams 组织独立审查。数学方面，模型借助新的辅助偏微分方程把局部光滑化证明推进到所有维度，按 OpenAI 的论述由此解决所有维度的挂谷猜想与 Stein 限制猜想，Lean 形式化证明已公开。物理部分含纯 Yang–Mills 理论存在性证明，未宣布解决质量间隙，由 David Gross 牵头的工作组先行整理，暂不公开 AI 原始证明。