I remember, as a child, reading and wondering about the computer-assisted proof of the four color theorem. (The first major theorem to be proven so, according t

I remember, as a child, reading and wondering about the computer-assisted proof of the four color theorem. (The first major theorem to be proven so, according to Wikipedia.) https://en.wikipedia.org/wiki/Four_color_theorem#Proof_by_computer https://en.wikipedia.org/wiki/Four_color_theorem#Proof_by_co...