Kenneth Appel and Wolfgang Haken prove the four color theorem — that any map can be colored with just four colors so no two adjacent regions share a color — using a computer for the first time in a mathematical proof.
This is one of hundreds of moments in an interactive timeline of human history.
Explore the full timeline →