Ryan Williams 解析 OpenAI 疑似违反 ETH 的 SAT 求解器：属于 split and list 算法

理论计算机科学家 Ryan Williams 将 OpenAI 疑似违反 ETH 的 SAT 求解器归为 split and list 方法，认为仅靠块内暴力枚举即可突破 ETH。该方法先把变量拆成块，在块内暴力枚举，再借助 P 时间问题完成组合；Williams 表示未来仍有改进空间。