An AI just solved math problems that stumped the world's best mathematicians for over a decade. And it didn't use any technique a human designed. It invented its own.