• 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)

  • Ahlfors Lectures: Mohammed Abouzaid

    Harvard Science Center 1 Oxford Street, Cambridge, MA

    Ahlfors Lectures  Dates: September 16 & 17, 2026 Time: 4:00–5:00 pm Location: Science Center Hall A Speaker: Mohammed Abouzaid (Stanford) Register to attend in person or online at: https://www.math.harvard.edu/event/ahlfors-lecture-series-mohammed-abouzaid/     September 16, 2026 Title: Framed bordism and nearby Lagrangians Abstract: The problem of understanding Lagrangian embeddings in symplectic manifolds remains a mystery. The simplest class […]