Four color theorem
In the 1960s and 1970s, Heinrich Heesch developed a first sketch of a proof by computer. Kenneth Appel and Wolfgang Haken improved this sketch in 1976 . They were able to reduce the number of cases that would need to be tested to 1936; a later version was made that relied on testing only 1476 cases.  Each case needed to be tested by a computer .