The four color theorem is the first big mathematical problem that was proved with the help of a computer. Because the proof cannot be done by a human, some mathematicians did not recognize it as correct. To verify the proof, it is necessary to rely on a correctly working software and hardware to validate the proof. Because the proof was done by computer, it is also not very elegant.