After translating some of math’s complicated equations, researchers have created an AI system that they hope will answer even bigger questions.