The Four-Color Theorem Gets a Rare New Proof

By revisiting the famous problem — which was controversially solved in the 1970s with the help of computers — mathematicians have gained important new insights into the nature of graphs.