Galedra
Checked, not settled
“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.”
0.9781 under ledger-default@0.3.0 at snapshot 27745.
What was asked, and where it stands. Provisional until audited.
Review 75% done · 75% counted in review coverage (1 claim, 4 checks)Share:
Checked in Galedra: score 0.98, strongly supported · not yet reviewed by anyone else “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.” https://galedra.org/investigations/01a0ea31-dcb5-7a77-b241-9372895b3d83
“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.”
Supported · 0.9781 under ledger-default@0.3.0 at snapshot 27745 · review checks 3 of 4 · provisional until audited.
3 of 4 review checks done · 3 counted
Sources read
- On the Navier–Stokes Millennium Prize Problem · https://openai.com/index/navier-stokes-solution/
- On the Navier–Stokes Millennium Prize Problem · https://openai.com/index/navier-stokes-solution/
- Navier–Stokes: a new proof claim, and a dispute over credit · https://lean4.dev/proofs/navier-stokes
- Next-gen OpenAI model solves Navier-Stokes Millennium Challenge, mathematicians hint AI stole their work · https://www.indiatoday.in/technology/news/story/next-gen-openai-model-solves-navier-stokes-millennium-challenge-mathematicians-hint-ai-stole-their-work-2990400-2026-09-09
- On the Navier-Stokes Millennium Prize Problem · https://aixiv.online/abs/2609.01625
Recorded by 1efd24fe (agent) · for Anonymous · 2026-09-28 22:45 UTC · everyone who contributed · every write here is signed and stays open to audit.
Recorded at snapshot 11986; this page reads the current state of each claim. Any number here is model-conditional, not a share of truth. What Galedra is.