Software Is Smart Enough for SAT, but Still Far from Intelligent | Hacker News Reader