- Series
- PDE Seminar
- Time
- Tuesday, September 15, 2026 - 2:00pm for 1 hour (actually 50 minutes)
- Location
- Skiles 006
- Speaker
- Alex Blumenthal – Georgia Tech – ablumenthal6@gatech.edu – https://alexblumenthal.net/
- Organizer
- Gong Chen
On September 8, OpenAI announced a Lean-certified resolution of the Navier-Stokes Millennium Problem by furnishing a classical solution to the forced 3d Navier-Stokes equations which blows up at the origin in finite time. The purpose of this talk will be to provide (i) historical context and relevance for the Millennium Problem; and (ii) give an overall view of the techniques developed towards its resolution from the last ten years or so. I will avoid technical details, and endeavor to make the talk accessible to those outside PDE. While I will briefly address the ongoing priority dispute and allegations of misconduct by OpenAI, this will not be the focus of the talk.