AI just had another math breakthrough—with help from a high-school dropout

The human played an invaluable role despite not understanding any of the math. Instead, he provided encouragement.