Source

Navier–Stokes: a new proof claim, and a dispute over credit SECONDARY_TEXT

Lean 4 Dev · no page hash: the reader saw a rendering, not the bytes · created seq 11068

Link: https://lean4.dev/proofs/navier-stokes · read at 2026-09-28T23:29:00Z · held by reference: only the link, the quoted excerpts with their hashes, and the page hash when the reader had the bytes are stored

Retrieval by Galedra

FETCHED at 2026-09-28T22:25:25Z · https://lean4.dev/proofs/navier-stokes · seq 11076

Server hash sha256:785ecc917c425fcce3157af0aa39e70d5f039483ecfa793d504b4286fec1bea8 · 59378 bytes · text/html. The reader's record is unchanged; this is the server's finding beside it.

Excerpt	Finding
On 8 September, OpenAI announced a construction intended to establish alternatives C and D of the Millennium Problem. It involves a smooth applied force. Thi...	verbatim — the passage is on the page, character for character

Claims from this source

No claims have been extracted from this source yet.

Locations

Locator	Excerpt
QUOTE `{}`	On 8 September, OpenAI announced a construction intended to establish alternatives C and D of the Millennium Problem. It involves a smooth applied force. This does not establish blowup for the unforced viscous equation.

Claims citing this source