Watershed Moment for AI–Human Collaboration in Math

When Ukrainian mathematician Maryna Viazovska received a Fields Medal - widely regarded as the Nobel Prize for mathematics - in July 2022, it was big news. Not only was she the second woman to accept the honor in the award’s 86-year history, but she collected the medal just months after her country had been invaded by Russia. Nearly four years later, Viazovska is making waves again. Today, in a collaboration between humans and AI, Viazovska’s proofs have been formally verified, signaling rapid progress in AI’s abilities to assist with mathemat ical research.