Formal proof completed for Kepler’s conjecture on sphere packing Math Drudge, 16 Aug 2014 Introduction On 10 August 2014, a team led by Thomas Hales of the University of Pittsburgh, USA, announced that their decade-long…