AI just solved 9 unsolved math problems, including one that kept an Nvidia scientist "up at night for 2 years"