Can you fill in any map with just four colors? The so-called Four-Color theorem says that you can always do so in a way that neighboring regions never share the same color. But proof eluded mathematicians for more than a century before Wolfgang Haken and Kenneth Appel controversially used a computer to show it must be true. This breakthrough forever changed mathematics. Featuring David S. Richeson, Professor of Mathematics and the John J. & Ann Curley Faculty Chair in the Liberal Arts, Dickinson College
Related article - WIRED - Computer Scientist Answers Computer Questions From Twitter
Quanta Magazine