Peter Luschny, 11 Aug 2014 A computer-verified formal proof of the Kepler conjecture was announced [1]. "We are pleased to announce... A computer-verified…