1976 Four Color Theorem Proof Offers Precedent as AI Shakes Math

Pessimists Archive revisits 1976, when Appel and Haken used some 1200 hours of computer time to prove the Four Color Theorem, sparking uproar among mathematicians — a forgotten precedent as AI now challenges mathematics.

2026-10-13 ~ 2026-10-13 · 2 related posts

• When 10 billion computer decisions solved the Four Color Theorem and outraged mathematicians in 1976 — tdhopper · 2026-10-13
• In 1976 the computer-aided Four Color Theorem proof drove mathematicians mad — history rhymes with AI — timigod · 2026-10-13