De todas formas, los ordenadores se usan ahora para probar teoremas y para hacer cálculos que para un humano o grupo de ellos serían muy largos de revisar; La primera demostración del teorema de los cuatro colores es un ejemplo de una demostración asistida por ordenador.