During 2025–26, the CMSA will host a seminar on New Technologies in Mathematics, organized by Michael Douglas and Blake Bordelon. 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, please fill out this form, 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/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 of the AI Mathematical Olympiad (AIMO) on Kaggle, now in its second iteration, outlining datasets and models available to contestants. Taking a broader perspective, I then […]
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 descriptions of the extra spatial dimensions that arise in the theories. Since 2017 machine-learning techniques have been applied extensively to study Calabi-Yau manifolds but until […]
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 methods to mathematical discovery. Since the late 1980s, systems such as Fajtlowicz’s Graffiti, DeLaViña’s Graffiti.pc, and TxGraffiti have collectively contributed to over 130 publications in […]
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 mathematics as the language of the universe. Progress since only confirmed his intuition as the world we live in can be described with extreme precision […]
https://youtu.be/mwpbMSNZOh0 New Technologies in Mathematics Seminar Speaker: Michael Albergo (Harvard) Title: Learning Dynamical Transport without Data Abstract: Algorithms based on dynamical transport of measure, such as score-based diffusion models, have resulted in great progress in the field of generative modeling. However, these algorithms rely on access to an abundance of data from the target distribution. […]
https://youtu.be/zvvUFPOwseo New Technologies in Mathematics Seminar Speaker: Baran Hashemi, Technical University of Munich Title: Can Transformers Do Enumerative Geometry? Abstract: How can Transformers model and learn enumerative geometry? What is a systematic procedure for using Transformers in abductive knowledge discovery within a mathematician-machine collaboration? In this work, we introduce a Neural Enumerative Reasoning model for computation of ψ-class intersection numbers on the moduli space […]
New Technologies in Mathematics Seminar Speaker: Matthias Wilhelm (University of Southern Denmark) Title: Machine learning for analytic calculations in theoretical physics Abstract: In this talk, we will present recent progress on applying machine-learning techniques to improve calculations in theoretical physics, in which we desire exact and analytic results. One example are so-called integration-by-parts reductions of […]
https://youtu.be/0FCgpyCfb4o New Technologies in Mathematics Seminar Speaker: Michael Borinsky, Perimeter Institute Title: Tropicalized quantum field theory Abstract: Quantum field theory (QFT) is one of the most accurate methods for making phenomenological predictions in physics, but it has a significant drawback: obtaining concrete predictions from it is computationally very demanding. The standard perturbative approach expands an […]
https://youtu.be/04E8r76TetQ New Technologies in Mathematics Seminar Speaker: Alex Damian, Harvard Title: Understanding Optimization in Deep Learning with Central Flows Abstract: Traditional theories of optimization cannot describe the dynamics of optimization in deep learning, even in the simple setting of deterministic training. The challenge is that optimizers typically operate in a complex, oscillatory regime called the "edge of […]
New Technologies in Mathematics Seminar Speaker: María Inés de Frutos Fernández, Mathematical Institute, University of Bonn Title: The Carleson project: A collaborative formalization Abstract: A well-known result in Fourier analysis establishes that the partial Fourier sums of a smooth periodic function $f$ converge uniformly to $f$, but the situation is a lot more subtle for […]
New Technologies in Mathematics Seminar Speaker: Yongji Wang, NYU Courant Institute of Mathematical Sciences Title: Discovery of unstable singularity with machine precision Abstract: Whether singularities can form in fluids remains a foundational unanswered question in mathematics. This phenomenon occurs when solutions to governing equations, such as the 3D Euler equations, develop infinite gradients from smooth initial […]
New Technologies in Mathematics Seminar Speaker: Adam Zsolt Wagner, Google DeepMind Title: Machine learning tools for mathematical discovery Abstract: I will discuss various ML tools we can use today to try to find interesting constructions to various mathematical problems. I will briefly mention simple reinforcement learning setups and PatternBoost, but the talk will mainly focus […]