Episode 173: The Four-Color Map Problem (Entry 495.NU2653) - a podcast by Ken Jennings and John Roderick

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.

Further episodes of Omnibus

Further podcasts by Ken Jennings and John Roderick

Website of Ken Jennings and John Roderick