OpenAI Reports Navier-Stokes Breakthrough, With GPT-6 Astra Used for Lean Verification

OpenAI has published a formal account of an AI-assisted result on the Navier-Stokes Millennium Prize...