Mathematical analysis in the age of artificial intelligence
Historically, the use of computers to prove mathematical theorems was restricted mainly to brute-force computation. In the last few years, however, artificial intelligence — and large language models in particular — has begun to prove, disprove, and formally verify mathematical statements, reshaping how research in analysis is done.
PA²IN brings together communities from the different areas of analysis where these tools have recently had an impact. The conference welcomes all areas of AI for mathematics, mathematics for AI, and numerics, as long as they are related to analysis — from partial differential equations and harmonic analysis to rigorous computation and formal verification. Over one week at IMPA, the aim is to exchange methods, expand the scope of current techniques, and foster collaboration on the use of artificial intelligence in mathematics.
- DatesJanuary 25–29, 2027
- VenueIMPA, Rio de Janeiro, Brazil
Confirmed speakers
- Gonzalo Cao-LaboraEPFL
- Polona DurcikChapman University
- Francisco GanacimIMPA · minicourse
- Bogdan GeorgievGoogle DeepMind
- Felipe GonçalvesIMPA
- Lukas LiehrBar-Ilan University · minicourse
- Pavel PetrovIMPA
- Yulia PetrovaUniversity of São Paulo
- Ben PineauCourant Institute, NYU
- Joris RoosUniversity of Massachusetts Lowell
- Yuri SaporitoFGV EMAp
- Sergey TikhomirovUniversity of São Paulo
Organizing committee
- João Pedro RamosIMPA
- Jaume de Dios PontNew York University
- Javier Gómez-SerranoBrown University
- Mitchell TaylorOxford / Toronto
Scientific programme
The conference runs from Monday, January 25 to Friday, January 29, 2027, with all talks held at IMPA.
The detailed schedule will be published on this page once the list of speakers is complete.
IMPA, Rio de Janeiro
The conference takes place at IMPA — Instituto de Matemática Pura e Aplicada, at the edge of the Tijuca Forest in Rio de Janeiro’s Jardim Botânico district.
Estrada Dona Castorina 110, Jardim Botânico
Rio de Janeiro — RJ, 22460-320, Brazil
Practical information on travel and accommodation will be posted here for registered participants.
With the support of
