During 2026–27, the CMSA will host a seminar on New Technologies in Mathematics, organized by Michael Douglas and Luca Pesce. This seminar will take place on Wednesdays from 2:00 pm–3:00 pm (Eastern Time). The meetings will take place in Room G10 at the CMSA, 20 Garden Street, Cambridge MA 02138, and some meetings will take place virtually on Zoom or be held in hybrid formats. To learn how to attend, join the seminar mailing list or contact Michael Douglas (mdouglas@cmsa.fas.harvard.edu).
The schedule will be updated as talks are confirmed.
Seminar videos can be found at the CMSA Youtube site: New Technologies in Mathematics Playlist
https://youtu.be/x7LPDDYZn94 New Technologies in Mathematics Seminar Speaker: Antonio Sclocchi, EPFL Title: Hierarchical data structures through the lenses of diffusion models Abstract: The success of deep learning with high-dimensional data relies […]
https://youtu.be/OYOuSAAE7QQ New Technologies in Mathematics Seminar Speaker: Anirudh Goyal (University of Montreal) Title: From Word Prediction to Complex Skills: Data Flywheels for Mathematical Reasoning Abstract: This talk examines how large language models […]
https://youtu.be/C6NDdnSaluU New Technologies in Mathematics Seminar Speaker: Aryo Lotfi (EPFL) Title: How Far Can Transformers Reason? The Globality Barrier and Inductive Scratchpad Abstract: Can Transformers predict new syllogisms by composing established ones? […]
https://youtu.be/KOgh-FFDlvg New Technologies in Mathematics Seminar Speaker: Dylan Foster, Microsoft Research Title: Is Behavior Cloning All You Need? Understanding Horizon in Imitation Learning Abstract: Imitation learning (IL) aims to mimic the behavior […]
https://youtu.be/qC60ZgsIFvk New Technologies in Mathematics Seminar Speaker: Huajian Xin, DeepSeek Title: Frontier of Formal Theorem Proving with Large Language Models: Insights from the DeepSeek-Prover Series Abstract: Recent advances in large language models […]
New Technologies in Mathematics Seminar Speaker: Gail Weiss, EPFL Title: Thinking Like Transformers - A Practical Session Abstract: With the help of the RASP programming language, we can better imagine […]
https://youtu.be/o7uac6DuzcQ New Technologies in Mathematics Seminar Speaker: Leyan Pan, Georgia Tech Title: Can Transformers Reason Logically? A Study in SAT-Solving Abstract: Transformer-based LLMs have apparently demonstrated capabilities that resembles human […]
https://youtu.be/_BgheUBw_Lw New Technologies in Mathematics Seminar Speaker: Omar Salemohamed, Mila Title: Discovering Data Structures: Nearest Neighbor Search and Beyond Abstract: As neural networks learn increasingly sophisticated tasks—from image recognition to mastering the […]
https://youtu.be/XUp3IM66AQA New Technologies in Mathematics Seminar Speaker: Simon Frieder, Oxford Title: Datasets for Math: From AIMO Competitions to Math Copilots for Research Abstract: This talk begins with a brief exposition […]
https://youtu.be/3gRquXqwtU8 New Technologies in Mathematics Seminar Speaker: Elli Heyes, Imperial College Title: Machine Learning G2 Geometry Abstract: Compact Ricci-flat Calabi-Yau and holonomy G2 manifolds appear in string and M-theory respectively as […]
https://youtu.be/2tmmafZxBIw New Technologies in Mathematics Seminar Speaker: Randy Davila, RelationalAI and Rice University Title: Discovery in Mathematics with Automated Conjecturing Abstract: Automated conjecturing is a form of artificial intelligence that applies heuristic-driven […]
https://youtu.be/TFBzP78Jp6A New Technologies in Mathematics Seminar Speaker: Thomas Hubert (Google DeepMind) Title: AlphaProof: when reinforcement learning meets formal mathematics Abstract: Galileo, the renowned Italian astronomer, physicist, and mathematician, famously described […]