Математики опубликовали формальное доказательство гипотезы Кеплера о плотнейшей упаковке шаров в трехмерном пространстве. Несмотря на совпадение правильного ответа с очевидным, оказалос...