some researchers at the University of Illinois-Champaign, actually wrote a proof for that 4 colors is all you need to make a map with no two of the same colors touching, however the proof is more than 600 pages long and a good 60 pages of that is proofs of other proofs they used in the big proof, and would no doubt be boring as hell to analyze.
The original proof was really really ugly. Someone else came up with a merely reall ugly proof.
http://www.math.gatech.edu/~thomas/FC/fourcolor.html#References