CMSA Introduction to First Proof: A conversation

Name: CMSA Introduction to First Proof: A conversation
Start: 2026-06-03T13:00:00-04:00
End: 2026-06-03T14:00:00-04:00
Location: Virtually

CMSA EVENTS

When: June 3, 2026

1:00 pm - 2:00 pm

Where: Virtually

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.

View Recorded dialogue here: https://www.youtube.com/watch?v=fNrR4lTiScQ

Visit the CMSA webpage for more details.