On the Navier–Stokes Millennium Prize Problem

We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.

Type

ANNOUNCEMENT

Detection

feed

Confidence

medium

Status

Official · Verified