In the 1970s, the four-color theorem was controversially solved with the help of computers. A new algorithm produced this year has improved it in some interesting ways that offer new insights into the nature of graphs. Get the full story on The Quanta Podcast: