Who proved the Four Color Theorem using computers for the first time?

Kenneth Appel and Wolfgang Haken

Next question