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 […]
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)
Big Data Conference 2026 Dates: Sep. 3–4, 2026 Location: Harvard University CMSA, 20 Garden Street, Cambridge MA & via Zoom The Big Data Conference features speakers from the Harvard community as well as scholars from across the globe, with talks focusing on computer science, statistics, math and physics, and economics. Register to attend in person […]
Fall CMSA Welcome Event Date: September 3, 2026 Time: 4:15 pm Location: CMSA Common Room, 20 Garden Street, Cambridge MA All CMSA and Math affiliates are invited.
Colloquium
The Geometry of Machine Learning 2026 Dates: September 8–11, 2026 Location: Harvard CMSA, Room G10, 20 Garden Street, Cambridge MA 02138 Register to attend in person Register for Zoom Webinar Large language models are presently, and will increasingly, be complemented by other dimensions of intelligence: formal verification and energy-based optimizers, becoming parts of larger ecosystems. […]
Joint Math/CMSA Geometry and Quantum Theory Seminar
CMSA Q&A Seminar
New Technologies in Mathematics Seminar Speaker: tba
AI for the Working Mathematician Speaker: Daniel Litt, University of Toronto Title: TBA
Geometry and Mathematical Physics Seminar
Member Seminar