Екип, ръководен от математика Томас Хейлз, представи официално доказателство за хипотезата на Кеплер, което е окончателното решение на задача, останала нерешена повече от 300 годин...
Логиката е изкуството да достигаш до непредсказуем извод - Самюел Джонсън