OpenAI Releases AI-Generated Solution to Navier-Stokes Millennium Prize Problem
OpenAI has published an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a formal proof written in Lean. This marks a major step toward solving one of the seven unsolved Millennium Prize Problems.