Pablo Spiga

Any graph's automorphism group can be precisely realized as the symmetry group of a regular hypertope.

Babai and Goodman's decades-old conjecture is finally settled: every finite group acts as the full automorphism group of a finite lattice across at most 50 orbits.