Dr Henry Bradford, a mathematics fellow at Christ's College, Cambridge, wrote about this himself in The Guardian's letters section, and it's personal.

"A key problem in my own field of group theory (the existence of non-sofic groups) was solved this month by OpenAI's Astra model." It wasn't an isolated party trick, either -- OpenAI's own announcement says the same unreleased Astra model produced advances on ten long-standing open problems across mathematics, quantum complexity, and theoretical computer science, including the first explicit construction of a non-sofic group, a question that had stood open since 1999. The model didn't just claim a proof; it formalized the result in Lean, a proof-verification language, alongside a 249-page manuscript that other mathematicians can actually check line by line.

"Astra's proof consists largely in a slight twist on theorems by my colleagues Gabor Kun and Andreas Thom." Not a wholly novel idea out of nowhere -- built on existing human work, the way most real mathematical progress actually happens.

"Even a few months ago I would have found the idea that AI was capable of such a breakthrough incredible, so it seems foolhardy now to bet against AIs achieving superhuman capabilities in all areas of mathematical thought in the coming years."

"If AI can churn out research papers faster and cheaper than humans, then administrators within cash-strapped universities will surely be tempted to regard their mathematical researchers as superfluous."

Bradford leans on mathematician Bill Thurston's older argument -- from Thurston's 1994 essay "On Proof and Progress in Mathematics" -- that the point of math was never just proving theorems, it's the understanding that lives in human minds. His closing question is the one worth sitting with: whether mathematics thrives or perishes in the age of AI isn't really a technical question about machine capability. It's a decision society makes about what part of the human intellect it chooses to value.

Source: https://www.aol.co.uk/articles/surprising-ai-breakthroughs-raise-soul-163742000.html (The Guardian letters, via AOL syndication)