Math Can’t Go On Like This

In late July, one of the world’s most famous mathematicians issued a warning to his field. Math is entering a “turbulent period,” the UCLA professor Terence Tao said in front of a packed lecture hall at the International Congress of Mathematicians. AI is getting so good at math, he said, that it’s causing a “crisis in our mathematical values and practices.”

Earlier in the same week that Tao gave his talk at math’s most prestigious conference, a researcher at Anthropic had used Claude to disprove an 87-year-old math conjecture. Still, when I asked mathematicians at the conference about their experiences with AI, most hadn’t thought deeply about the topic. Many seemed a little surprised that a journalist was asking them about it at all.

Now mathematicians are paying attention. Last week, OpenAI announced that its bots had cracked the Navier-Stokes problem, one of the seven Millennium Prize problems regarded as among the grandest challenges in the field. Navier-Stokes has stumped mathematicians since the 1930s: “It’s a career-killing problem—you can spend all your career doing it and never get the solution,” David Dritschel, a mathematician at the University of St. Andrews, told me. OpenAI said its swarm of 10,000 AI agents solved the problem in less than four days.