Wolfram Research
Wolfram Math World: Four Color Theorem
A great discussion of the Four Color Theorem and its history.
Other
Mathematical the Four Color Theorem and Computer Proof
This site describes the role of computer involvement in the four color map theorem.