AI and mathematical research
Discovery, proof assistance, formal verification, computation, conjecture generation, and collaboration between mathematicians and AI systems.
Research · education · the mathematical profession
Math and AI
A home for events and discussion about advances in artificial intelligence for mathematics—and their effects on science, education, research, and the future of our profession.
About this initiative
Mathematics is entering a period of unusually rapid change.
Rapid advances in artificial intelligence are beginning to affect how mathematics is discovered, verified, taught, and communicated. This page serves as a continuing home for panel discussions, lectures, and related events examining these developments and their broader consequences for science and education.
The focus extends beyond the capabilities of current AI systems to the choices facing the mathematical community: how research practices may evolve, how students should be trained, which human skills will remain essential, and how these changes may shape the future of the profession.
Continuing themes
Questions this page will explore
Future events can focus on one or more of these interconnected areas.
Education and training
How curricula, graduate education, assessment, exposition, and the skills expected of the next generation of mathematicians may change.
The future of the profession
Research careers, the academic job market, mathematical communication, professional norms, and the role of distinctly human judgment and creativity.
Events and archive
Conversations, lectures, and practical introductions
The Math and AI series brings together mathematicians, computer scientists, educators, and researchers to examine how artificial intelligence is changing mathematical work. Events range from broad community discussions to focused introductions to emerging tools, methods, and research practices. Recordings, summaries, slides, and related resources will be added when available.
Sep. 11, 2026
Upcoming · 1:20 PM ET · Zoom
The crisis of AI-generated mathematics
Speaker: Max Weinreich
In this talk, I present the case for total opposition to the use of artificial intelligence in mathematics. I offer proposals for how individuals, departments, journals, and institutions can act in concert to make sure that mathematics survives the coming crisis.
Related paper: arXiv:2608.02859
Sep. 25, 2026
Upcoming · 1:20 PM ET · Zoom
Mathematics at a Turning Point: AI, Research, and the Next Generation
A broad discussion of current AI capabilities, mathematical practice, graduate training, and careers.
Oct. 9, 2026
Upcoming · 1:20 PM ET · Zoom
An Introduction to Lean
Speaker: Michael Rothgang (Bonn University)