Get the latest tech news

The Four Colour Theorem: The first time machines mogged mathematicians

In 1976 a computer upended the concept of a mathematical proofs, causing fierce debate among mathematicians. Remind you of anything?

None