Эта старая задача восходит к проблеме 13 шаров, поставленной в 1692 году Ньютоном и Грегори. В общем виде задача была предложена Таммесом в 1930 г.

В докладе предполагается обсудить решение задачи Таммеса о плотнейшей упаковке кругов на сфере для случая N=13. Доказательство основано на понятии жестких графов (irreducible graphs) и компьютерном переборе подходящих планарных графов.