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?

摘要按规则整理自下方来源原文

来源