#circuit-CSP

搞理论的朋友可以看看这篇：作者把 OpenAI 和 Anthropic 新的 3-SAT 算法接过来，推出了 NTIME 能被确定性机器以 2^{O(t/√log t)} 模拟，这可是 P vs NP 附近的核心问题。论文的关键新工具是 Cook–Levin 归约的推广，做复杂度和 SAT 求解器研究的人值得一读。