Mathematician who in 2016, while at Humboldt University of Berlin, proved higher-dimensional versions of the sphere-packing problem for 8-dimensional and 24-dimensional spheres. Her proofs were later formalised by Math, Inc.'s AI model Gauss within weeks, contributing to mathematicians' understanding of the tools in her original work.
The verdict of a jury is the a priori opinion of that juror who smokes the worst cigars.