OpenAI Says Internal AI Model Produced Navier-Stokes Millennium Prize Solution

OpenAI said an internal AI system has produced a solution to the Navier-Stokes existence and smoothness problem, one of mathematics' Millennium Prize Problems, and released both a written proof and Lean formalization for scrutiny. The company says the result shows that a smooth three-dimensional fluid flow can develop a finite-time singularity, a claim that would settle the problem if accepted by the mathematics community.