Claude Refuted ETH Too: Anthropic's 3-SAT Paper Explained | Hacker News Reader