Matemáticos dirigidos por Thomas Hales de la Universidad de Pittsburgh han presentado una prueba formal de la conjetura de Kepler, un problema de la geometría…