OpenAI 宣称 ETH 不成立，3SAT 可在 2^{o(n)} 时间内求解

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