What happens when AI begins proving mathematical theorems faster than humans can? Mathematics may be on the verge of a transformation—but its future could belong to the next generation of mathematicians.
In a new essay published on Terence Tao’s blog, NYU mathematician Tristan Buckmaster offers an optimistic perspective on how AI-generated proofs could reshape mathematical research.
He argues that graduate students and postdoctoral researchers will play a crucial role in determining what comes next.
Buckmaster draws a parallel with IBM’s Deep Blue defeating world chess champion Garry Kasparov in 1997. Computers did not make chess obsolete. Instead, increasingly powerful engines transformed how people study, analyze, and play the game.
He suggests that mathematics could undergo a similar transformation, though with an important distinction: proving a theorem is not the same as understanding why it is true. Mathematical progress involves not only establishing correct results but also developing the intuition, insights, and conceptual frameworks behind them.
The essay also raises concerns about the concentration of advanced AI capabilities in a handful of corporations. Buckmaster advocates broader access to these tools, proper attribution, and stronger protections for researchers’ intellectual contributions.
One particularly thought-provoking observation captures the deeper purpose of mathematics:
“Mathematics has never been a list of true statements. Certifying a result settles the question, not the search for understanding.”
As AI becomes increasingly capable of proving theorems, the challenge—and opportunity—for mathematicians may lie not simply in finding answers, but in discovering the deeper ideas that make those answers meaningful.
#ArtificialIntelligence #mathematics
[This is a guest post by Tristan Buckmaster. This blog post was initially written in a different file format and converted using AI. — T.]
This blog post expands on a theme mentioned at the end of my recent talk at the Institute for Advanced Study on October 19.
I would like to thank Matei Coiculescu, Jaume de Dios Pont, Nestor Guillen, Bryna Kra, Terence Tao and Rachel Ward for their valuable comments and suggestions.
It is often said that mathematics is a young person’s game, and that mathematicians do their best work early in their careers. I believe this is about to become true in a completely different sense. Mathematics is changing faster than at any point in its history. Today’s graduate students and postdocs will shape its future. Our responsibility is to protect their ideas and recognize their contributions.