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 only person who always got his work done by Friday was Robinson Crusoe.