Math Can’t Go On Like This

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