Evidence item

The excerpt says OpenAI is sharing a solution to the Navier–Stokes existence and smoothness problem, but omits the claimed date, internal model, Lean formalization, and singularity detail. DIRECT_TEXT

Authenticity UNVERIFIED · extraction UNVERIFIED · independence group none (unreviewed) · created seq 8838

Source: On the Navier–Stokes Millennium Prize Problem · locator {} · excerpt hash sha256:e088313b6a9afb9a286b4c09a5ee5b1c47e3b351128977c7d94d3284010887d6

We're sharing a solution to the Navier–Stokes existence and smoothness problem