AI Just Had Another Math Breakthrough–With Help from a High-School Dropout