En junio de 2017, la demostración formal de la Conjetura de Kepler fue aceptada en la revista Forum of Mathematics.