Videos

CMSA Special Lecture 9/11/2026 | Speaker: Javier Gomez-Serrano, Brown University | Title: New Math + AI Developments in Fluid Mechanics | Abstract: In this talk I will discuss recent progress on finite-time singularity formation for several fluid equations, from model problems to the Navier–Stokes and Euler systems themselves. I will put this progress in context and close with the recently announced resolution of the Navier–Stokes existence and smoothness problem, via an explicit construction ex...

[embed]https://youtu.be/pNzqNLGSkOk[/embed] New mathematics emerges through sustained inquiry, collaboration, and the exchange of ideas. It develops over time—through seminars, workshops, and ongoing discussion—often at the intersection of different areas of mathematics and science. At the Harvard Department of Mathematics and the Harvard Center of Mathematical Sciences and Applications (CMSA), this process is supported by an environment that emphasizes both depth and interaction.

First Proof, Second Batch: Results Date: June 10, 2026 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)

Introduction to First Proof: A conversation Date: June 3, 2026 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.  

Workshop on Calabi-Yau metrics and optimal transport Dates: May 18–22, 2026 Location: Harvard CMSA, 20 Garden Street, Cambridge MA Recent advances in the study of Calabi-Yau metrics have revealed an interesting connection with optimal transport, and the regularity theory for optimal transport is expected to play an increasingly important role in the study of Kähler geometry. The goal of this workshop is to bring together the optimal transport and complex geometry communities to investigate probl...