Google's second generation of its AI mathematics system combines a language model with a symbolic engine to solve complex ...