Hay resultados matemáticos cuyo descubrimiento parece requerir una intuición especial. Ahora, unos algoritmos podrían sustituir a los genios matemáticos.