AI · Studies · 2026-10-27 05:58
A paper, largely AI-generated, claims a deterministic 2^{o(n)} algorithm for 3-SAT that can also count solutions, purportedly disproving the Exponential Time Hypothesis—drawing both attention and skepticism from researchers.
Auto-generated summary for reference only. RSS