Report of the Summit on Math Research in the Age of AI terrytao.wordpress.com

Five organizers—Dan Freed, Larry Guth, Bryna Kra, Emily Riehl and Mohammed Abouzaid—report on a two-day summit at Harvard’s Center for Mathematical Sciences and Applications, where 32 mathematicians from academia, government and industry considered how AI may shape mathematical research. The summit’s report covers five areas, including research evaluation, open-source tools, mathematical formalization and collaboration with AI labs.