Hannah Fry: How OpenAI has caused an existential crisis in mathematics

A few years ago, when I first started talking about mathematics in public, a professor of algebraic number theory pulled me to one side and gave me some sharp words of warning: “The world fears mathematicians, Hannah. Let’s keep it that way.”

He was being, to put it mildly, a bit of a snob. Maths had an intimidating mystique to maintain, and I was apparently jeopardising it by titting around on the internet making videos and podcasts, rather than focusing on a perfectly respectable research career.

I have thought a lot about that comment since. Partly because I have spent the intervening years doing everything I can to completely ignore him (and getting a New Scientist   column feels like a rather lovely reward for doing so).

But buried beneath his snobbery, I have come around to the idea that he was right about something. And I have never felt that more than in the past few weeks, since a swarm of AI agents have been busy solving our most famous long-standing problems.

I’m talking, of course, about OpenAI’s announcements over the past few weeks that it has found proofs for hundreds of mathematics problems that had previously resisted human attempts to solve them.

The furore began, most notably, with a proof (by way of finding a counterexample) that the Navier-Stokes equations can break apart. This particular gem was such a big deal to the mathematical community that at the turn of the millennium, the Clay Mathematics Institute promised they’d give $1 million to whoever managed to solve it.