Ryan Williams explains what a false ETH means for 3SAT
rrwilliams · x · 2026-10-27
Responding to a layperson's question, Ryan Williams explains the Exponential Time Hypothesis: ETH claims 3SAT cannot be solved in 1.000...01^n time for any number of zeroes. The claim under discussion asserts ETH is false, giving a genuinely sub-exponential algorithm for 3SAT — surprisingly faster than brute-force 2^n search.
More from Research
- Researcher corrects 'Uncheatable forecast': admits flop-uncontrolled compute estimate — dlwh · 2026-10-27
- Is the virtual cell the next AlphaFold? A debate on solvability — burny_tech · 2026-10-27
- Automation won't accelerate science: measurement and interpretation are the bottleneck — fkasummer · 2026-10-27
- "ETH Proved False" Claim Spreads as Researchers Quote-Tweet MIT CSAIL — burny_tech · 2026-10-27
- Understanding MuonH (Hyperball) Through Weight Norm Geometry — burny_tech · 2026-10-27
- OpenAI internal model claims refutation of ETH; top TCS scholars to review — burny_tech · 2026-10-27