How AI can solve the hardest math problems DeepMind’s breakthrough is the successful combination of neural language models and symbolic engines (logic-based systems designed to solve problems using ...