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,...