However, computers are now used both to prove theorems and to carry out calculations that are too long for any human or team of humans to check; the first proof of the four color theorem is an example of a computer-assisted proof.
Porén, hoxe en día os ordenadores úsante tanto para probar teoremas como para realizar os cálculos que son demasiado longos para seren realizados por un equipo humano; a primeira proba do teorema das catro cores é un exemplo de demostración asistida por ordenador.