[This is a guest post by Jeremy Avigad. This blog post was initially written in a different file format and converted using AI. — T.]
“Mathematics underwent, in the nineteenth century, a transformation so profound that it is not too much to call it a second birth of the subject—its first birth having occurred among the ancient Greeks…”
Howard Stein, in “Logos, Logic, and Logistiké: Some Philosophical Remarks on Nineteenth-Century Transformation of Mathematics”
“The report of my death was an exaggeration.”
Mark Twain
“May you live in interesting times.”
(traditional)
I recently attended a meeting of innovative science and technology startups supported by Convergent Research, the organization that oversees the Lean FRO, a nonprofit that develops the Lean theorem prover. The meeting was designed to stimulate discussion, and when I introduced myself as a mathematician, many participants were eager to talk about the impact of recent events in AI on mathematics and reactions in the mathematics community. They were surprised to hear that I find the tone of the community responses on blogs like this one and Proofs and Prompts generally positive and encouraging, even though we all recognize that fundamental aspects of our day-to-day professional lives are bound to change. These discussions have helped me shape some of the thoughts I would like to share here.
There is a narrow view of what mathematicians do, encapsulated in our daily workflows: we try to solve problems, and when the hard problems are too hard to solve, we make up easier approximations, solve them, and then vary the parameters. That practice has been disrupted by the events of the last few months, in the sense that the kinds of results that would have, a year ago, made for perfectly respectable publications can now easily be generated with the help of AI. This has left us worrying about what it will mean to do mathematics going forward, as well as how to train and support the next generation of mathematicians to do whatever that is.
The history of mathematics offers us a broader view. What has remained stable, despite centuries of changes, is that mathematics is a culture of rigorous reasoning and communication, providing us with language and abstractions that let us think and communicate more reliably and efficiently. Surely such reasoning is still important, even in the age of AI. The fact that many of us find mathematics aesthetically pleasing doesn’t diminish its practical utility, but rather is explained by it: I expect that the reason that doing mathematics feels so good is that it is the exercise of capacities that are so fundamental to our survival as a species that they are wired into our DNA. If that’s right, mathematical thought isn’t going away any time soon.
The challenge is that solving the kinds of problems we have been solving for decades becomes decoupled from the goal of enhancing our mathematical understanding when we let AI do the work. The question, therefore, isn’t whether we still need mathematics, but rather how to pursue mathematical understanding in the age of AI. I will provide three general answers.
Solve harder problems
There are two salient features of today’s foundation models: first, they have seen the entire mathematical literature, and second, they are tireless; a swarm of agents can make its way to a solution by trying countless variations. This explains why the AI-generated solutions to open problems we have seen all have a similar character: they are problems that AI could solve by cobbling together available techniques. (I am grateful to Matthew Ballard for this characterization, and the subsequent analysis.)
Can every interesting mathematical question be answered that way? Probably not, and even questions that can may have more interesting and satisfying solutions that invoke novel ideas and insights. Perhaps, in the near future, AI systems will be able to come up with such insights, but, at the very least, let’s recognize that we are not there yet. Reinforcement-learning training regimes have systems chain conventional moves and learn, from a history of failures and successes, which ones are most promising in a given state. The fact that the value of an action is graded solely in terms of the success of a final trajectory breeds superhuman cleverness but may miss creativity and higher-level strategizing. In any case, there are still hard questions to be solved and ambitious research programs to pursue, and the possibility of making progress on them with the help of AI is exciting.
Think bigger thoughts
Our present situation would be much more depressing if mathematics were a matter of ticking off problems imposed on us by aliens, an endless sequence of exercises and exams. The good news is that when we do mathematics, we get to choose the problems, grade the solutions, and favor the ones we like best. We decide what’s interesting to us, what questions to pursue, and why. Our destiny is in our hands.
The things we admire most in mathematics often seem to come out of nowhere. In 1853, the young Bernhard Riemann submitted three potential topics to his advisor, Carl Friedrich Gauss, to choose from for his Habilitationsvortrag, a lecture he was required to give to secure a teaching position at the University of Göttingen. Gauss reportedly chose the topic for which Riemann was least prepared, to see what he would make of it. The resulting lecture, “On the Hypotheses Which Lie at the Foundations of Geometry,” was published posthumously in 1868, and it revolutionized the field. The lecture distinguished a space’s metric properties from its topological properties and introduced the general notion of a manifold, though the latter did not receive a fully rigorous treatment until the twentieth century. The focus on intrinsic properties of a space—in Riemannian geometry, those determined by the metric and independent of embedding in a larger space—was key to Einstein’s theory of general relativity decades later. Riemannian geometry has had applications that Riemann himself could never have imagined, from robotics and medical imaging to statistical analysis.
William Ewald’s excellent sourcebook, From Kant to Hilbert, provides a lovely introduction to the paper and quotes Felix Klein’s description of the work:
“The publication of [Riemann’s lecture] occurred just at the time when I was beginning to occupy myself independently with mathematical problems. So I still have vivid memories of the extraordinary impact Riemann’s train of thought made on the young mathematicians of the day. Much seemed to us dark and difficult to understand, and yet of unfathomable depth, where the modern mathematician, who has already absorbed all these things into his mode of thought from the outset, only admires the clarity and fecundity of the exposition.”
What seemed dark and mysterious to the young Klein is now part of the canon, something that foundation models have absorbed and internalized through their training, just as young mathematicians do. I am grateful to Ballard once again for suggesting this example and pointing out that no reinforcement-learning setup could have evaluated Riemann’s decisions: the benefits are diffuse and hard to track, and the time horizon is much too long.
The same can be said for countless mathematical developments that have opened up new vistas, such as Galois’ focus on groups of permutations in the study of solvability of algebraic equations, Poincaré’s qualitative studies of dynamical systems, or Grothendieck’s far-reaching conceptual innovations. Will AI eventually be able to make advances like these? That’s not even the right question to ask. Telling us that some AI agent is spinning out theorems that are highly interesting to it and other AI agents does nothing for us. We should care about AI only insofar as the results are interesting and important to us, and, at the end of the day, it’s up to us to decide what that means. The values we assign to mathematical developments are embedded in our history and culture.
Imagine planning a trip to go backpacking in the Alaskan wilderness for exercise and recreation. You might be happy to let AI help book your flight, but not to let AI take the hike for you and send you pictures. In mathematics, what is at stake isn’t our recreation but agency over our reasoning and deliberation. Whether or not AI can think, it can’t think for us. We have our own lives to live; mathematics is our story to tell, and it’s up to us to decide how to tell it. With AI, there’s even more to explore, and no shortage of avenues for discovery.
Try new things
So far, I have focused on using AI to help us do the things we used to do, but let’s not forget that the technologies themselves raise new questions, and that we have a lot to learn about how to use them effectively. I have argued in another essay (now scheduled to appear in the Notices of the AMS) that mathematicians should be actively involved in understanding how the technologies work and in coming up with novel and creative ways to use them to do new mathematics.
AI changing what it means to do mathematics is not without precedent. The use of algebraic methods to solve geometric problems in the seventeenth century was a new technology, and not everyone liked it; yet we mastered the new techniques and learned how to use them to great effect. The same is true of infinitesimals later in that century, algebraic structures in the nineteenth century, set-theoretic abstraction and structural language in the early twentieth century, and numerical and symbolic computation more recently. These were all alien and disconcerting when they were new. We should view those who invest time and energy in getting proof assistants and neural networks to help us discover new mathematics as doing mathematics proper, rather than dismissing them as mere technicians. In the age of AI, developing symbolic automation or training a neural network can be no less a contribution to mathematics than manually chaining inferences to prove a theorem.
I have heard arguments that as the job market contracts, we should turn inward to preserve traditional mathematical skills. On the contrary, I believe that engaging with new technologies and learning how to use them to improve our ability to reason and discover new mathematics will keep the discipline strong. Expanding our view of mathematics is the best way to expand the profession and keep it relevant.
Our message to the next generation
My rosy outlook on the future and glib advice to solve harder problems, think bigger thoughts, and try new things will not provide much comfort to students and early-career researchers, who feel the ground shifting beneath their feet. My words are not meant to diminish the challenges ahead or suggest easy responses to the disruption. Mathematics departments, community leaders, educators, professional societies, and journal boards are holding emergency meetings all over, and are doing their best to make concrete recommendations and take appropriate action. We have our work cut out for us.
Despite the uncertainty, there are some clear messages we can send to the next generation of mathematicians. The first is that we stand with you. There is nothing more important to us than the health and strength of the discipline, and ensuring that you can thrive. We have the humility to recognize that our experience and expertise are limited, and that some of the things we thought we knew in the past are no longer valid. We are committed to working with you as best we can to preserve the profession and keep it strong.
Second, mathematics is as important today as it ever was, and we need you. AI must not replace our collective ability to reason and deliberate, and mathematics remains a core capacity for doing so. We cannot imagine a world in which mathematics does not play an important part in our lives.
Finally, the next few years will be extremely interesting. We are at a new frontier, where our communal norms, values, and expectations are beginning to break down, and it’s up to all of us to figure out what should replace them. I am confident that future historians will see this moment as the start of a new era of mathematics, and that they will weigh the consequences of our actions and decisions. Mathematics has never been for the faint of heart; this is our opportunity to rise to the occasion and face the challenges together.
Instagram Engineering
Shopify Engineering