show/hide this revision's text 1 [made Community Wiki]

I would add Appel and Haken's computer assisted proof of the Four Colour Theorem to the list.