AN OPENAI MODEL SOLVED THE NAVIER–STOKES MILLENNIUM PROBLEM

Summary from the TLDR AI newsletter

OpenAI announced that an internal AI system produced a proof resolving the roughly 90-year-old Navier–Stokes existence and smoothness problem, one of mathematics' seven Millennium Prize Problems. The model showed that smooth three-dimensional fluid dynamics can develop a finite-time singularity and produced both an analytical proof and a Lean formalization.