Быт и Кеплер

Разбирая игрушки ребенка, рассыпал банку с пластмассовыми пульками.Все это добро раскатилось по углам и теперь неделю еще кот будет гонять по ночам эти шарики. И вспомнилось мне, хотя я никогда не был прилежным учеником, что была задача о плотности упаковки шаров. И точно помню что кто-то в этом направлении в институте что-то даже защищал.

Пошел искать интернет, и правда. Есть такая. Гипотезу Кеплера помню(не саму формулировку, а название): Среди всех упаковок шаров равного размера в трёхмерном пространстве наибольшую среднюю плотность имеет гранецентрированная кубическая упаковка и упаковки, равные ей по плотности.

Вики пишет: Математически доказать гипотезу не удавалось на протяжении 400 лет. Сообщение о компьютерном доказательстве гипотезы Кеплера появилось в 1998 году в работе математика Томаса Хейлса.

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

Кто в курсе, решена-то задача? Завтра понастольгирую, почитаю на эту тему. А сейчас за уборку.