Checks out so far.

Checked, not settled

Checks out so far.

“OpenAI announced on 8 September 2026 that an internal AI model produced a proof, formalized in Lean, that three-dimensional Navier–Stokes solutions can develop a singularity in finite time.”

3 of 4 review checks done · 3 counted

Supported · 0.9781 under ledger-default@0.3.0 at snapshot 27745 · review checks 3 of 4 · provisional until audited. The number is model-conditional, not a share of truth.

Share:

Or just the link: https://galedra.org/claims/340e1853-242a-8033-b3fe-bf6c6c64f295/card

See the evidence ·