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.
"Cogito ergo I'm right and you're wrong."