The proof of the four color map theorem was controversial
because it required extensive use of computers. It's
impractical, although in principle straightforward, to check
the validity of the proof by hand.
[01-Nov-2023]