21st June

On this day in 1976Kenneth Appel and Wolfgang Haken announced that they had proved the four colour conjecture with the aid of a computer. No simple proof is known as yet.
See THIS LINK.