OpenAI宣称证伪ETH，将接受公开独立审查

复杂度理论家 Ryan Williams 表示，OpenAI 内部模型产生了对指数时间假设（ETH）的所谓证伪。Williams 与 Russell Impagliazzo、Mohan Paturi 已受邀协助组织对这一声明进行公开、独立审查。

Ryan Williams 用通俗语言解释指数时间假设（ETH）为假对复杂性理论的意义。ETH 主张 3SAT 无法在 1.000...01^n（哪怕略优于 2^n 暴力搜索）的时间内求解，相关声明则给出了 3SAT 的「亚指数」时间算法。若声明成立，将构成对暴力搜索出人意料的巨大加速。

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

OpenAI 宣称指数时间假说（ETH）不成立，3SAT 问题及其解的计数可在 2^{o(n)} 时间内解决，并给出 Lean 形式化证明。fortnow 转发该公告与论文链接并强调其分量，同时指出目前只是单方面宣称，尚待独立验证。