Only Computers Can Solve This Map-Coloring Problem From the 1800s | Quanta Magazine

The four-color problem is simple to explain, but its complex proof continues to be both celebrated and despised.