Kenneth Appel, one of the first mathematicians to solve a famous mathematical proof using a computer, died April 19 at the age of 80.

In 1976, Appel helped prove the four-color theorem, which states that any map can be colored in using just four colors, without bordering territories using the same color. Though it seemed true intuitively, the theorem, first posited in 1852 by an English mapmaker, had stymied mathematicians for decades.

To prove the theorem, Appel and his colleagues first showed that all possible maps can be reduced down to a set of 1,936 configurations. They then tested all those configuration using an IBM supercomputer, which at the time took up an entire room but was less powerful than the average smartphone today, The New York Times reported.The use of a computer to prove a mathematical theorem was groundbreaking at the time, but is commonplace now.

Follow Tia Ghose on Twitter @tiaghose. Follow LiveScience @livescience, Facebook & Google+.