La disciplina ha comenzado a sufrir el cambio más profundo en cientos de años: la IA puede encontrar en horas la respuesta a conjeturas que llevaban años sin resolución