DeepMind says its AI solved a math problem that humans were stumped by | Hacker News Reader