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.
The Geometry of Machine Learning 2026 Dates: September 8–11, 2026 Location: Harvard CMSA, Room G10, 20 Garden Street, Cambridge MA 02138 & via Zoom Webinar 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 […]
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: Working with LLMs to do high quality math Abstract: Much hay has been made of the capabilities of LLMs to do math autonomously, and indeed frontier models have resolved some long-standing, interesting open questions. But our goal is not to produce papers, but rather […]
Geometry and Mathematical Physics Seminar Speaker: Brian Williams, Boston University
Member Seminar
Colloquium
Joint Math/CMSA Geometry and Quantum Theory Seminar