Episode 173: The Four-Color Map Problem (Entry 495.NU2653)

In which over a century of mathematicians are unable to solve a geometry problem straight out of a coloring book, computers provide their first ever math "proof," and Ken challenges John to map a donut. Certificate #28876.