We did it! Now stop criticising our proof and look for yourselves!
Four Colour ProblemA new solution to an old problem
Or is it...?
In 1976, Appel and Haken announce they have proved the four colour theorem, based on the construction of an unavoidable set of 1936 reducible configurations. The full proof is published in 1989.
In 1994 Robertson, Sanders, Seymour and Thomas generated a simpler and more robust solution to the four colour problem. Amazingly, even a home computer could verify their solution in approximately 3 hours!
The Four Colour Problem is the tip of the iceberg,the thin edge of the wedgeand the first cuckoo of springBill Tutte