Solution to the Navier-Stokes existence and smoothness problem

[angel]

An internal OpenAI system produced a proof showing that the dynamics of the Navier-Stokes equations can develop a singularity in finite time. The team has also shared the proof and a formalized version in Lean:

On the Navier–Stokes Millennium Prize Problem