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