Vor drei Jahren bewies Maryna Viazovska in einer nur 22 Seiten langen Arbeit, dass das E8-Gitter die dichteste Kugelpackung im R8 realisiert, wenn man Kugeln von jeweils gleichen Radien um die Gitterpunkte legt. (Das Bild oben zeigt eine 3-dimensionale Projektion des E8-Gitters.) Der Beweis benutzte eine gewisse aus Modulformen zusammengesetzte Funktion und war erheblich einfacher…