OpenAI Model Solves One of Seven Millennium Prize Problems

This concerns the Navier-Stokes equations. American corporation OpenAI announced that its internal model was able to find a solution to the Navier-Stokes equations—one of the seven "Millennium Prize Problems." "We present a solution to the problem of existence and smoothness of solutions to the Navier-Stokes equations—one of the 'Millennium Problems.' This proof, obtained using OpenAI's internal system, demonstrates that in the dynamics of the Navier-Stokes equations describing fluid motion, a singularity may arise within finite time. We publish both a description of the proof itself and its formalization in the Lean language," the corporation reports on its website. To solve the equations, agents of the internal AI model were used, whose performance metrics surpass GPT-6 Astra—its CEO of OpenAI called it the beginning of the "AGI era."…