Lagrangian Floer theory and Applications Program Dates: September 15–November 21, 2026 Location: CMSA G10, 20 Garden St., Cambridge MA 02138 This thematic program will focus on recent developments in Lagrangian Floer theory and applications. These include the development of family Floer theory, degeneration techniques, Floer homotopy theory in the Lagrangian case, Floer theory in prime […]
AI for the Working Mathematician Speaker: Jordan Ellenberg, University of Wisconsin-Madison Title: Large Hypercubes Abstract: I'll talk about this paper: Bruhat intervals that are large hypercubes <arxiv.org/abs/2601.01235> in which we use a tool from Google, AlphaEvolve, to discover unexpected combinatorial structures inside the symmetric group (to be precise, a large hypercube in the Bruhat order.) I'll […]
Joint Math/CMSA Geometry and Quantum Theory Seminar
New Technologies in Mathematics Seminar Speaker: Tianyi Peng, Decision, Risk, and Operations Division, Columbia Business School Title: Prove2Me: Formalizing Fermat Last Theorem and Beyond Abstract: Proof assistants such as Lean 4 promise the paradigm of formally verified mathematics, but large-scale formalization projects have faced major barriers to entry, including the need for expertise in formal verification […]
AI for the Working Mathematician Speaker: Lauren Williams, Harvard Title: First Proof Batch 3: Mathematicians putting AI to the test Abstract: First Proof is an initiative that aims to obtain a nuanced, objective assessment about the capabilities of large language models to prove specified mathematical statements. I will report on the results of First Proof's third […]
Geometry and Mathematical Physics Seminar Speaker: Spiro Karigiannis, University of Waterloo
Member Seminar Speaker: Yiqi Liu
Dates: October 19 & 21, 2026 Time: 4:00–5:00 pm ET Location: Science Center - Zimmer Hall Lecture Hall D and via Zoom Webinar In-person registration Webinar Registration Speaker: Daniel Litt, University of Toronto & Benedict H. Gross Distinguished Visitor, Harvard Mathematics Department Monday, October 19, 2026 Lecture 1: The arithmetic of differential equations Abstract: […]
Joint Math/CMSA Geometry and Quantum Theory Seminar
CMSA Q&A Seminar Speaker: Robert M. Freund, MIT Title: What is a self-concordant barrier function?, and what is an accelerated first-order algorithm? (ICM Series: On the work of Yurii Nesterov) Abstract: The two most impactful contributions of Nesterov on both theory and computation in optimization are (i) self-concordant barriers for interior-point methods in convex optimization, and (ii) […]
CMSA Q&A Seminar Speaker: tba
New Technologies in Mathematics Seminar Speaker: Riccardo Zecchina (Bocconi University)