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.
A year spent in artificial intelligence is enough to make one believe in God.