Per quello che ho letto, per le dimensioni 8 e 24 sono state usate le forme modulari per trovare una funzione che permettesse di dimostrare l'ottimalità delle disposizioni, si cercava e se ne conoscevano di buone ma non abbastanza.
Comunque per approfondire vi posso consigliare questo articolo di Quanta che ho letto ieri, non è nemmeno troppo lungo.