GoKawiilFour Color Theorem proof by Appel and Haken sparked 1976 backlash over computer math
In July 1976, mathematicians Kenneth Appel and Wolfgang Haken, aided by programmer John Koch, proved the Four Color Theorem using roughly 1,200 hours of computer processing and 10 billion logical decisions. The achievement, the first major theorem proved with heavy reliance on a computer, drew sharp criticism from mathematicians who argued that a proof no human could fully verify by hand should not count as legitimate mathematics.
GoKawiil's interpretation of the reporting above, not reported fact.
The episode marks an early flashpoint in how the mathematical community grapples with results that exceed human verification, a tension that has only grown with modern automated and AI-assisted proofs. The quoted objections from figures like Halmos and Bonsall suggest that resistance to computer-assisted reasoning stemmed from deeper worries about what counts as mathematical understanding, not just technical doubts about correctness.
- Appel and Haken proved the Four Color Theorem in 1976 using about 1,200 hours of computer time and 10 billion decisions.
- Programmer John Koch contributed algorithmic work central to the proof.
- Several prominent mathematicians publicly rejected or doubted the validity of a computer-reliant proof.
Four Colors Suffice book by Robin Wilson — This book tells the full story of the Four Color Theorem, from its origins as a map-coloring puzzle to the controversial computer-assisted proof by Appel and Haken. It's a perfect, accessible companion for anyone curious about the history of man-machine collaboration in mathematics discussed in this article.0
See Four Colors Suffice book by Robin Wilson on Amazon → Affiliate link — we may earn a commission on purchases, at no extra cost to you. Product picked by AI based on this article; it is not a tested recommendation.Source: newsletter.pessimistsarchive.org — Louis Anslow, 2026-10-13
Published there as: “The Four Colour Theorem: The first time machines mogged mathematicians”
Read the original report → The summary and analysis above are GoKawiil's own, written from reporting by the source above. Facts and quotes belong to the original publisher.