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.
WHENEVER ANYBODY SAYS he's struggling to become a human being I have to laugh because the apes beat him to it by about a million years. Struggle to become a parrot or something.