Compárese con la conjetura de Kepler (sobre empacado (packing) más denso de esferas), que se considera que ha sido probada en 1998.