AI model solves Millennium Problems with a proven breakthrough in mathematics and computer science.