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

## 4 color theorem proven already

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