Hacker News2h agoenergy 107
The Four Colour Theorem: The first time machines mogged mathematicians
image: Hacker News
In 1976 a computer upended the concept of a mathematical proofs, causing fierce debate among mathematicians. Remind you of anything?
This source publishes only a summary in its feed, so the full article lives at the outlet. The link above and below goes to the original.