OpenAI announced an internal AI system solved the Navier-Stokes existence and smoothness problem. The company describes this model as significantly more capable than GPT-6 Astra. This system produced a formalized and verified proof for the major mathematical challenge. This event represents a potential historic breakthrough for AI-driven scientific discovery.
Mathematicians Tristan Buckmaster and Levent Alpöge allege OpenAI may have accessed their unpublished research to rush the solution. OpenAI denied that researchers or AI agents accessed the pair's specific work. However, the company stated it cannot rule out that de-identified data from the mathematicians' use of OpenAI products improved its models.