OpenAI claims that its internal AI models solve the Navier-Stokes problem

On September 8, 2026, OpenAI announced that its undisclosed internal AI model successfully completed the proof of Navier-Stokes existence and smoothness within approximately 88 hours. The study indicated that under smooth external conditions, an initially smooth fluid could form a singularity with infinite velocity growth within a finite time. This was formally verified using GPT-6 Astra in Lean language, with related research costing between $15 million and $22.5 million. Although OpenAI’s lead researcher, Mark Chen, stated that no human or AI system accessed user data and denied accessing such data, he acknowledged that anonymizing product data could help improve the model. However, Professor Buckmaster of New York University and others questioned the compliance of data usage and the rigor of the paper, arguing that the research failed to adequately prove the existence and uniqueness of the solution. Currently, the million-dollar prize established by the National Science Foundation remains unresolved, awaiting true breakthrough results and resolution of disputes.