Matemáticos dirigidos por Thomas Hales de la Universidad de Pittsburgh han presentado una prueba formal de la conjetura de Kepler,

Leer más