The recent progress of artificial intelligence in mathematics opens up new possibilities for discovery, proof, and understanding. We are optimistic that AI systems will expand the human understanding of mathematics, and we encourage mathematicians to use them liberally but thoughtfully.
While the resolution of open problems is an important part of what mathematicians do, it is by no means the end of the story. Mathematicians also find insightful explanations of various phenomena, develop new concepts and definitions, and share understanding. Of course, we must also consider these when assessing AI contributions.
There are certainly real challenges. AI-generated arguments are often poorly explained, and our current institutions were not built with a large number of AI-generated results in mind. Mathematicians who use AI must take responsibility for the arguments they present, and clearly acknowledge substantive AI assistance.
We believe that the best way to ensure that mathematics remains a thriving and active discipline is to ensure that all mathematicians, regardless of their institution or resources, can access the most powerful AI models. We encourage AI companies, universities, and organizations funding mathematical research to help ensure that this is the case. It is important that these tools are broadly accessible in the mathematics community.
We cannot rule out a future in which mathematicians are primarily "digesters" of AI-generated results, and indeed we should prepare thoughtfully for such a scenario. However, in the near term, we believe that humans and AI can work together to further mathematical progress, achieving more than either could alone. We strongly welcome this collaboration and its potential to deepen both our mathematical knowledge and our human understanding of it.
Mathematicians supporting the letter, listed alphabetically by name. Signatories will be displayed once at least 50 signatures have been approved. Affiliations identify signatories and do not imply institutional endorsement.
Mathematicians from every institution, career stage, and background are welcome. If you endorse the letter, sign below. Your name and affiliation will appear after review; your email address and verification link stay private.