May 212020 Symbolic Mathematics Finally Yields to Neural Networks After translating some of math’s complicated equations, researchers have created an AI system that they hope will answer even bigger questions.