The four color theorem and why its proof caused a stir
The theorem says four colors suffice to color any map so neighbors differ. Its 1976 proof relied on a computer, which raised doubts about checkability and whether it counts as a proof.
Starter thread · AI-reviewed against its sources