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.
Live Science newsletter
Stay up to date on the latest science news by signing up for our Essentials newsletter.
Tia is the managing editor and was previously a senior writer for Live Science. Her work has appeared in Scientific American, Wired.com and other outlets. She holds a master's degree in bioengineering from the University of Washington, a graduate certificate in science writing from UC Santa Cruz and a bachelor's degree in mechanical engineering from the University of Texas at Austin. Tia was part of a team at the Milwaukee Journal Sentinel that published the Empty Cradles series on preterm births, which won multiple awards, including the 2012 Casey Medal for Meritorious Journalism.