Numberphile

The Four Color Map Theorem (2017x15)

:

The Four Color Map Theorem (or colour!?) was a long-standing problem until it was cracked in 1976 using a "new" method... computers!