How can AI be useful in mathematical research and how might this change the nature of that research?
These questions have been brought into focus in the past year due to advances in LLMs, formalization/autoformalization, and more customized AI toolboxes. This event will be a chance to hear perspective on these tools and questions from mathematicians working on the cutting edge of AI in math research, and to get a glimpse at what the future may hold.
This event is part of the Frontiers in Data Science and AI initiative at the Data Science Institute, Columbia University.
REGISTRATION DEADLINE: The Columbia Morningside campus is open to the Columbia community. If you do not have an active CUID, the deadline to register is at 12:00 PM the day before the event.
Event Details & Agenda
Thursday, February 5, 2026 (1:00 PM – 6:00 PM ET)
Location: Davis Auditorium (CEPSR) – 4th Floor (Campus Level)
Address: 530 W 120th St, New York, NY 10027
· · ─ · ─ · ·
Details below subject to change:
1:00 PM – 1:05 PM: Introductions: Ivan Corwin, Professor of Mathematics and Statistics, Arts & Sciences, Columbia University (5 min)
Presentations:
1:05 PM – 1:35 PM: Rajesh Jayaram, Research Scientist, Google Research NYC (30 min)
1:40 PM – 2:10 PM: Tristan Buckmaster, Professor of Mathematics, Courant Institute of Mathematical Sciences, New York University (30 min)
2:10 PM – 2:40 PM: Iddo Drori, Associate Professor, Department of Computer Science & Engineering, Yeshiva University (30 min)
2:40 PM – 3:00 PM: Break (20 min)
3:00 PM – 3:30 PM: Sergei Gukov, John D. MacArthur Professor of Theoretical Physics and Mathematics, Caltech – presenting remotely (30 min)
3:30 PM – 4:00 PM: Mehtaab Sawhney, Assistant Professor of Mathematics, Arts & Sciences, Columbia University; and Researcher, OpenAI – presenting remotely (30 min)
4:00 PM – 4:15 PM: Break (15 min)
4:15 PM – 5:15 PM: Panel Discussion (60 min)
- Moderator: Andrew J. Blumberg, Herbert and Florence Irving Professor of Cancer Data Research (in the Herbert and Florence Irving Institute of Cancer Dynamics and in the Herbert Irving Comprehensive Cancer Center) and Professor of Mathematics and Computer Science
- Tristan Buckmaster, Professor of Mathematics, Courant Institute of Mathematical Sciences, New York University
- Iddo Drori, Associate Professor, Department of Computer Science & Engineering, Yeshiva University
- Michael Harris, Professor of Mathematics, Arts & Sciences, Columbia University
- Ivan Corwin, Professor of Mathematics and Statistics, Arts & Sciences, Columbia University
- Ivan Zelich, PhD Student, Mathematics, Arts & Sciences, Columbia University
- Roger van Peski, Joseph Fels Ritt Assistant Professor of Mathematics, Arts & Sciences, Columbia University
- Panelist list subject to change
5:15 PM – 5:30 PM: Research Project Discussion (15 min)
5:30 PM – 6:00 PM: Demonstration on AI Tools: Ivan Zelich, PhD Student, Mathematics, Arts & Sciences, Columbia University (30 min)
Speaker Details
Listed in order of program appearance:
Co-Host & Introductions: Ivan Corwin
Professor of Mathematics and Statistics, Arts & Sciences, Columbia University
Rajesh Jayaram
Research Scientist, Google Research NYC
Abstract Coming Soon
Tristan Buckmaster
Professor of Mathematics, Courant Institute of Mathematical Sciences, New York University
Abstract Coming Soon
Iddo Drori
Associate Professor, Department of Computer Science & Engineering, Yeshiva University
Abstract Coming Soon
Sergei Gukov
John D. MacArthur Professor of Theoretical Physics and Mathematics, Caltech
Abstract Coming Soon
Mehtaab Sawhney
Assistant Professor of Mathematics, Arts & Sciences, Columbia University; and Researcher, OpenAI
Abstract Coming Soon
Co-Host & Panel Moderator: Andrew J. Blumberg, Herbert and Florence Irving Professor of Cancer Data Research (in the Herbert and Florence Irving Institute of Cancer Dynamics and in the Herbert Irving Comprehensive Cancer Center) and Professor of Mathematics and Computer Science
Michael Harris, Professor of Mathematics, Arts & Sciences, Columbia University
Roger van Peski, Joseph Fels Ritt Assistant Professor of Mathematics, Arts & Sciences, Columbia University
Co-Host: Kriste Krstovski
Associate Research Scientist, Data Science Institute
Ivan Zelich
PhD Student, Mathematics, Arts & Sciences, Columbia University
Abstract Coming Soon