Team announces construction of a formal computer-verified proof of the Kepler conjecture
Wednesday, August 13, 2014 - 09:31
in Astronomy & Space
(Phys.org) —A team of researchers led by the man, Thomas Hales, who came up with written proof of the Kepler conjecture is now reporting that they have constructed a formal proof of the conjecture, which implies the use of a computer. The announcement was made on The Flyspeck Project page, and puts to rest any doubts about the correctness of the proof done by Hales in 1998.