Neil Robertson, Daniel P. Sanders, Paul Seymour, and Robin Thomas created this page to provide a short description of their new proof of the four color theorem and a four-coloring algorithm. The four color theorem began as the concept that a map can be shaded so that no connected areas have the same color. On this page the creators of this new proof provide a history of the proof, the need for a...