Navier–Stokes existence and smoothness problem

Latest developments

2026

◆ OpenAI released a large batch of AI-generated mathematical results, including Lean proof formalizations, on GitHub Research publication

◆ OpenAI announced an AI-generated, formally verified result for the Navier–Stokes Millennium Prize Problem using an internal multi-agent system Research publication

• 5 Oct AI Solves a Major Unsolved Math Problem. Not Everyone Is Happy
• 8 Sep OpenAI says it cracked 90-year-old maths problem in 88 hours
• 8 Sep OpenAI fought dirty on career-making math problem, says NYU mathematician

Relationships

Products & technology

• Tristan Buckmaster develops this technology · 1 source
• OpenAI deploys this technology · 1 source
• OpenAI develops this technology · 1 source