ai
Source: OpenAI News
📅 13 September 2026 at 04:31 PM UTC
On the Navier–Stokes Millennium Prize Problem
Verified Primary Feed Ingestion
⚡ Executive Takeaways & Intelligence Summary
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
Publication Reference: https://openai.com/index/navier-stokes-solution
← Back to News Wire