指数时间猜想与推理复杂度：3-SAT 难解性对 AI 推理意味着什么

srchvrs 讨论指数时间猜想（ETH）对 AI 推理复杂度的影响：3-SAT 等布尔方程无法快于 O(e^{cn}) 求解。若该猜想被推翻，说明某些布尔推理比想象中「容易」，但不应高估这种「容易」。