A 50-year-old computer-assisted proof
The Endeavour 2026-09-09
Summary:
The idea of using computers to assist with proofs is not new. The first major computer-assisted proof was published in 1976, the proof of the four color theorem by Kenneth Appel and Wolfgang Haken. The authors reduced the proof of the four color theorem to verifying calculations on 1,834 configurations, each checked by a computer […]
The post A 50-year-old computer-assisted proof first appeared on John D. Cook.