Any map, however tangled, needs only four colors so no two neighboring regions match — and it was the first major theorem proven with the help of a…
Mathematicians hated that a computer had to check thousands of cases by brute force because no human proof would ever fit on paper.