The Four Colour Theorem: The first time machines mogged mathematicians
What happened
In 1976 a computer upended the concept of a mathematical proofs, causing fierce debate among mathematicians. Remind you of anything?
Summary assembled by rule from the sources below