OpenAI 称其内部模型推翻指数时间假说 ETH，3SAT 可亚指数求解并已用 Lean 验证

OpenAI 宣布其内部模型宣称指数时间假说（ETH）不成立，3SAT 问题乃至解的计数均可在 2^{o(n)} 时间内求解，并给出了证明。MIT 复杂性理论家 Ryan Williams 于 10 月 27 日发帖披露此事，称此事与 Russell Impagliazzo 等相关，且证明已用 Lean 形式化验证。