• Geometry and Quantum Theory Seminar

    Science Center 507 1 Oxford Street, Cambridge

    Joint Math/CMSA Geometry and Quantum Theory Seminar Speaker: Vasily Krylov, Harvard

  • Separation of timescales controls feature learning and overfitting in large neural networks

    Virtual
    Virtual Event

    New Technologies in Mathematics Seminar Speaker: Pierfrancesco Urbani, Universite Paris-Saclay, CNRS, CEA, Institut de physique theorique Title: Separation of timescales controls feature learning and overfitting in large neural networks Abstract: To understand the inductive bias and generalization capabilities of large, overparameterized machine learning models, it is essential to analyze the dynamics of their training algorithms. […]

  • Introduction to First Proof: A conversation

    Virtual

    https://youtu.be/fNrR4lTiScQ Introduction to First Proof: A conversation Date: June 3, 2026 Time: 1:00–2:00 pm Location: via Webinar Harvard CMSA Director Dan Freed will lead a dialogue with First Proof Editors Mohammed Abouzaid (Stanford), Nikhil Srivastava (UC Berkeley), Rachel Ward (UT Austin), and Lauren Williams (Harvard) to explore the origins and goals of First Proof, sample […]

  • First Proof, Second Batch: Results

    Virtual

    https://youtu.be/pAlKAFC5u64 First Proof, Second Batch: Results Date: June 10, 2026 Time: 1:00–2:00 pm ET Location: via Webinar The First Proof Editors present the results of their Second Batch benchmark testing on AI systems. First Proof Editors Mohammed Abouzaid (Stanford) Nikhil Srivastava (UC Berkeley) Rachel Ward (UT Austin) Lauren Williams (Harvard)

  • Colloquium

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    Colloquium

  • AI for the Working Mathematician

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    AI for the Working Mathematician Speaker: Daniel Litt, University of Toronto Title: TBA