Panelist
Ettore Aldrovandi
Florida State University
Professor and chair at FSU, working in algebraic geometry, homotopy theory, category theory, and formalized mathematics.
Profile →Online panel discussion
Mathematics at a Turning Point
AI, Research, and the Next Generation — a conversation about how artificial intelligence is changing mathematical discovery, verification, training, and careers.
Canonical time
Friday, Sept. 25 · 1:20 PM ET
Your local time
Time zone conversion loading…
Countdown
Calculating…
Why this conversation now
Artificial intelligence is beginning to change how mathematics is discovered, verified, taught, and communicated.
As AI systems become more capable at problem-solving, proof assistance, computation, and exposition, the mathematical community faces urgent questions about the future of research and training.
This panel brings together researchers with perspectives spanning formal mathematics, machine learning, proof assistants, computer-assisted proofs, number theory, geometry, and mathematical communication. The discussion is especially motivated by questions raised by graduate students and early-career mathematicians.
The event is organized and moderated by Martin Bauer at Florida State University. Registration is mandatory; online access details will be distributed to registered participants.
The panel
Leading voices across mathematics and AI
Panelist
Jeremy Avigad
Carnegie Mellon University
Professor at CMU and director of centers for formal mathematics and computer-aided reasoning; he studies formal methods and AI for mathematics.
Profile →
Panelist
Tony Feng
University of California, Berkeley
Assistant Professor at Berkeley working in number theory, arithmetic geometry, the Langlands program, topology, and representation theory.
Profile →
Panelist
Javier Gómez-Serrano
Brown University
Professor at Brown working across machine learning, analysis, PDEs, fluid mechanics, numerical computation, and rigorous computer-assisted proof.
Profile →
Panelist
Alex Kontorovich
Rutgers University
Distinguished Professor and chair at Rutgers, working in number theory, dynamics, mathematical communication, and neuro-symbolic AI.
Profile →
Moderator
Martin Bauer
Florida State University
Brennan Professor at FSU, working in geometric analysis, infinite-dimensional geometry, shape analysis, and applications to data science.
Profile →Questions before the community
What should mathematicians prepare for?
The conversation will focus on the practical and intellectual consequences of rapidly improving AI systems for mathematical work.
01
What can AI for mathematics actually do today?
Where are the genuine research capabilities, where are the limitations, and how quickly is the frontier moving?
02
Which parts of mathematical work will remain distinctly human?
How might taste, problem selection, conceptual understanding, creativity, and explanation evolve?
03
How should graduate students and early-career researchers prepare?
Which technical skills, habits of thought, and forms of collaboration are likely to matter most?
04
What will these changes mean for mathematical careers?
How should the community think about training, evaluation, opportunity, and the already fragile job market for mathematics PhDs?
Event details
A community-wide online conversation
When and where
Friday, September 25, 2026, at 1:20 PM Eastern Time. The event will take place online. The access link will be emailed to registered participants.
Who should attend
Graduate students, postdoctoral researchers, faculty, educators, and anyone interested in how AI may reshape mathematical research, training, and careers.
Discussion format
A moderated conversation centered on current capabilities, near-term change, human mathematical practice, preparation for early-career researchers, and the research job market.
Registration
Registration is mandatory. Participants may submit a question for the panel while registering. Access details will not be posted publicly.
Reserve your place
Join the discussion about the future of mathematical research.
Registration is required. The online access link will be shared with registered participants before the event.
Register now