Math, AI, and the Navier-Stokes Equations

On September 1, 2026:LANCE: I'm surprised you haven't blogged about OpenAI solving 10 open math problems.BILL: If I post every time an open math problem is solved by AI I won't ever post about anything else.I'll wait until AI does something really impressive.LANCE: How impressive does the theorem have to be?BILL: I'll post about AI doing math once AI solves a Millennium Prize Problem.LANCE: That might not be for a while.BILL: Agreed.-----------------------On September 8, OpenAI announced it had solved the Millennium Prize Problem on the Navier-Stokes equations. On September 9, Lance blogged about the result, see here.So here, at last, is my long-awaited post on math and AI.--------------------------In my May 24, 2026 blog post about the Erdős Unit Distance problem being resolved by OpenAI , see here. I suggested two possible futures:--------------------------------------ONE: While this AI-generated (or AI-assisted) result is impressive, it will be a rare occurrence. This result was…