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
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 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: When does an algebraic differential […]
Joint Math/CMSA Geometry and Quantum Theory Seminar
CMSA Q&A Seminar Speaker: Robert M. Freund, MIT
New Technologies in Mathematics Seminar Speaker: Riccardo Zecchina (Bocconi University)
Dates: October 19 & 21, 2026 Time: 4:00–5:00 pm ET Location: Science Center 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: When does an algebraic […]
AI for the Working Mathematician Speaker: TBA Title: TBA
Math Research in the Age of AI Dates: October 22–23, 2027 By invitation only Organizers Dan Freed, Harvard Larry Guth, MIT Bryna Kra, Northwestern Emily Riehl, Johns Hopkins Mohammed Abouzaid, Stanford
Geometry and Mathematical Physics Seminar