On the Navier–Stokes Millennium Prize Problem

OpenAI has released an AI-generated solution to the Navier–Stokes Millennium Prize Problem. The release includes a write‑up and a formal proof formalized in the Lean proof assistant.

Summary written by Kernelia from the original article by OpenAI News. The story and its rights belong to its author.