Williams recalls: resolution-based methods were known to obey ETH before SETH breakthrough
quantum_aram · x · 2026-10-29
In a discussion around the new ETH-violating solvers, Ryan Williams recalls that extensions of known algorithms all "obeyed" ETH — e.g., resolution-based methods capturing most modern SAT solver behavior were known to fail. He says he felt he needed to refute SETH first before seriously considering ETH.
Related event: minilek and Ryan Williams Debate Whether ETH Still Holds(7 posts)→
More from Research
- Researcher says conference peer review is broken—proposes submit-anytime, fast-review format — EugeneVinitsky · 2026-10-30
- Vinny Lingham presses ternary-VM project: is that 2.77x compression real bytes? — VinnyLingham · 2026-10-30
- World-model RL trains Unitree Go1 to walk with 16 min of real data and 3 min on a GTX 3080 — MarcJSchmidt · 2026-10-30
- New work on safely delegating oversight to misaligned agents — Aaroth · 2026-10-30
- Neuro-symbolic system proves van der Waerden number w(2;3,21)=416 with Lean 4 check — Rodriguez909 · 2026-10-30
- Hugging Face's Carbon-X: 14B open model with 300B DNA tokens rivals GPT 6.1 Sol — evijit · 2026-10-30