OpenAI Releases AI-Generated Proof for Navier–Stokes Millennium Problem

OpenAI has published an AI-generated solution to the Navier–Stokes Millennium Prize Problem, one of seven unsolved problems designated by the Clay Mathematics Institute. The solution includes a detailed writeup and a formal proof verified in the Lean proof assistant. This marks a significant milestone in the application of artificial intelligence to advanced mathematics, potentially opening new avenues for AI-assisted research. The Navier–Stokes equations describe the motion of viscous fluids and are fundamental to physics and engineering; a rigorous proof of existence and smoothness has eluded mathematicians for centuries. The release is part of OpenAI's broader efforts to leverage AI for scientific discovery, following its work on other mathematical and coding challenges. The formal verification in Lean ensures the proof's correctness, addressing concerns about AI-generated results. The announcement was made on OpenAI's official website, and the full writeup and proof are available for public scrutiny. This development underscores the growing role of AI in tackling long-standing mathematical problems and may influence future research methodologies.