A famous computer-assisted proof
Trivia
In 1976, the Four Color Theorem became one of the first major theorems proven with substantial aid from a computer. Which pair of mathematicians is credited with this proof?
AKenneth Appel and Wolfgang Haken
BAndrew Wiles and Richard Taylor
CPaul Erdős and Ronald Graham
DKenneth Ribet and Ken Ono