复杂度研究者解读 OpenAI 系统 ETH 证伪及其有限影响

复杂度研究者 bzogrammer 解读 OpenAI 系统声称证伪 ETH，称该命题比 P≠NP 更强，但理论界的略紧不会显著改变既有实践结论。文中指出，新算法仍接近指数级，而 SAT 求解器长期以来在实践中表现良好；原始声明称该结果已通过 Lean 形式化验证。