OpenAI 宣称推翻指数时间假设，复杂理论界展开独立审查

OpenAI 宣称其模型证明指数时间假设（ETH）不成立，3SAT 及其解的计数可在 2^{o(n)} 时间内求解。MIT 复杂性理论家 Ryan Williams 于 10 月 27 日披露，该结果与 Russell Impagliazzo 等相关，并已使用 Lean 进行形式化验证，随后引发独立审查。