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.
REGISTER
Speakers and Panelists:
- Rajesh Jayaram: Research Scientist, Google Research NYC
- Tristan Buckmaster: Professor of Mathematics, Courant Institute of Mathematical Sciences, New York University
- Iddo Drori: Associate Professor, Department of Computer Science & Engineering, Yeshiva University
- Sergei Gukov: John D. MacArthur Professor of Theoretical Physics and Mathematics, Caltech
- Mehtaab Sawhney: Assistant Professor of Mathematics, Arts & Sciences, Columbia University
- Michael Harris: Professor of Mathematics, Arts & Sciences, Columbia University
- Roger van Peski: Joseph Fels Ritt Assistant Professor of Mathematics, Arts & Sciences, Columbia University
- Ivan Zelich: PhD Student, Mathematics, Arts & Sciences, Columbia University