AI Successfully Verifies Fields Medal-Winning Math Proofs

What Happened Math, Inc. announced today that their Gauss AI system has formally verified the mathematical proofs that earned Maryna Viazovska her Fields Medal—mathematics’ equivalent of the Nobel Prize. Viazovska, who became only the second woman to receive the honor in its 86-year history, solved two versions of the notoriously difficult sphere packing problem in 2016. The sphere packing problem asks a deceptively simple question: How densely can identical spheres be packed in n-dimensional space?