Maryna Viazovska

A mathematician who captured the exceptional symmetries of dimensions 8 and 24 with exact functions in a problem that becomes harder as dimension grows. In 2016 Viazovska built an auxiliary function from modular forms that attains the linear-programming bound exactly, proving the E8 lattice is the densest sphere packing in dimension 8. Soon afterward, with Cohn, Kumar, Miller, and Radchenko, she proved optimality of the Leech lattice in dimension 24. This did not single-handedly finish a “four-century generalization” of the three-dimensional Kepler problem: optimal packing is a separate problem in each dimension, and 8 and 24 are exceptional because of the symmetries of E8 and the Leech lattice. The proof built on the Cohn–Elkies bound and earlier modular-form theory. For this and related work, Viazovska received the 2022 Fields Medal, becoming its second woman recipient.

This is a thought experiment about influence, not a verified historical fact.

Beginners arrange coins or circles in the plane and compare gaps. Intermediate learners calculate lattice density. Advanced learners study the linear-programming bound through Fourier transforms. Experts verify how an auxiliary function built from modular forms for E8 satisfies every equality condition and investigate why the construction does not automatically repeat in other dimensions.