AI just solved one of the world’s hardest math problems.