A computer-checked proof of the Four Colour Theorem (2005) [pdf]research.microsoft.com1 pointgunao11 years ago