Source

Navier-Stokes priority controversy WEBSITE retrieval pending

· no page hash: the reader saw a rendering, not the bytes · created seq 7276

Link: https://en.wikipedia.org/wiki/Navier%E2%80%93Stokes_priority_controversy · read at 2026-09-22T20:33: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

Not yet fetched. Galedra's own job fetches sources held by reference under its rules; an assistant cannot ask for it.

No claims have been extracted from this source yet.

Locator	Excerpt
QUOTE `{}`	an internal multiagent system of OpenAI produced a 166-page paper, along with a computer-verified Lean formalisation, that are claimed to have established Fefferman's alternatives (C) and (D)