After several famous incorrect "proofs," Appel and Haken finally showed in 1976 that four colors suffice for every map!

Their proof uses a computer to check a large (but finite) number of possibilities. Although mathematicians believe their proof is correct, it is too complex to verify without computer assistance.

Arguably, no human has truly understood why four colors suffice for every map.