OpenAI shares AI-generated solution to Navier–Stokes Problem

OpenAI has released an AI-generated solution to the Navier–Stokes Millennium Prize Problem. This solution includes a detailed writeup and a formal proof developed in Lean. The problem, one of seven Millennium Prize Problems, seeks to prove or disprove the existence and smoothness of solutions to the Navier–Stokes equations. This initiative could advance research in fluid dynamics and AI-assisted mathematical proof.