O Teorema das Quatro Cores e a Revolução na Matemática Computacional: O Enigma de 100 Anos e a Filosofia da Prova por Máquina
