The four color theorem was proven in 1976 by Kenneth Appel and Wolfgang Haken by using a computer.

http://en.wikipedia.org/wiki/Four_color_theorem

By submitting this form, you accept the Mollom privacy policy.