3-SAT 亚指数时间求解证明流传，正确性尚待验证

一段正在流传的证明若成立，将使 3-SAT 可在亚指数时间内求解，并可能为所有 NP-complete 问题带来亚指数算法。IgorCarron 评论称，若结论成立，将不再有任何指数复杂度问题；不过该证明目前仍待验证，其成立与否将影响计算复杂性理论、密码学和 AI 搜索的理论边界。