How will AI revolutionize mathematics?

Here is a foretaste of what is to come! Very exciting! Maybe a quantum leap in the making!

"... Evidence of AI’s mathematical capabilities is mounting. In 2024, two AI models from Google DeepMind earned a silver medal in the International Mathematical Olympiad, the largest and most prestigious competition for young mathematicians. Also in 2024, Demis Hassabis and John Jumper of DeepMind won the Nobel Prize in Chemistry for their AI model AlphaFold2, which predicted the structure of almost all 200 million known proteins. 

“It is now possible to make a computational model that leads scientifically to the extent that, within years of publication, it wins a Nobel Prize,” Brenner said. “That’s unprecedented.” ...

In 2021, researchers at DeepMind ... used AI to discover new relationships between knot invariants, the numerical characteristics that define each knot’s properties. The discovery could have taken human mathematicians years to uncover through traditional methods. 

Another breakthrough came in research into elliptic curves, deceptively simple structures with big implications in both pure mathematics and cryptography. When Harvard researchers fed curve data into machine learning systems, they found that the curves’ behavior resembled murmurations — those swirling, coordinated movements of flocks of birds. 

“No mathematician ever thought to look for that before, and they were quite surprised to see it,” Douglas said. “They are now busy trying to prove it.”

But perhaps the form of AI that’s generating the most buzz in the math world is in automated theorem proving. ...

Generative AI can almost instantaneously translate proofs into formats that automated systems can verify, while the verification process catches any AI-generated errors or hallucinations. ...

In the 2025 version of “Applied Mathematics 201,” he did away with traditional homework problems. Instead, students had to create their own problems, have a classmate verify them, and see if they could outsmart an AI. (“One of the good ones,” Brenner specified. “If the not-very-good models can solve your problem, it doesn’t count.”) 

By the end of the semester, the students had created nearly 700 math problems of increasing difficulty. ..."

AI leaps from math dunce to whiz — Harvard Gazette "Experts describe how rapid advances are transforming field and classroom and expanding idea of what’s possible — ‘sky’s the limit’"