AI is solving 'impossible' math problems. Can it best the world's top mathematicians?

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