AI Just Had Another Math Breakthrough—With Help From a High-School Dropout wsj.com