Four color theorem
In 1996, Neil Robertson, Daniel Sanders, Paul Seymour and Robin Thomas improved the method, and reduced the number of cases to be tested to 663. Again, each case needed to be tested by computer.