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 some of their current work, and discuss their future plans.  This hour-long conversation will give a window into the fast-moving and deep interaction of Mathematics and AI.