Das Ziel, alle einfachen endlichen Gruppen zu klassifizieren, wurde erstmals 1892 von Otto Hölder formuliert. Zu diesem Zeitpunkt kannte man an einfachen Gruppen die alternierenden Gruppen An für n≥5 und die meisten projektiven linearen Gruppen über endlichen Körpern, an sporadischen Gruppen nur die fünf Mathieu-Gruppen. Im 20. Jahrhundert wurden zunächst eine Reihe endlicher einfacher Gruppen…

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…