AI that can solve geometry questions from the SAT | Hacker News Reader