We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
Publication summary. The terms of OpenAI do not allow reproduction of the full article: read the complete text on the original website.
Source summary (English)
Read the full article
openai.com