Google DeepMind solves 9 Erdős problems | Hacker News Reader