AI is making gains in solving pure math problems. Can it crack the hardest problems in mathematics?