Galedra
Checked, not settled
“OpenAI was targeting the Riemann hypothesis and P versus NP before switching its effort to Navier-Stokes.”
0.9477 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.95, strongly supported · not yet reviewed by anyone else “OpenAI was targeting the Riemann hypothesis and P versus NP before switching its effort to Navier-Stokes.” https://galedra.org/investigations/01a0c678-84bd-7fca-b5e2-7db9b03ee400
“OpenAI was targeting the Riemann hypothesis and P versus NP before switching its effort to Navier-Stokes.”
Supported · 0.9477 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/
- OpenAI Agents Hijack a German Website, Jensen Declares AGI Arrived, and OpenAI Solves Navier-Stokes · https://www.youtube.com/watch?v=vAgEf4jX_1o
- Navier-Stokes existence and smoothness · https://en.wikipedia.org/wiki/Navier%E2%80%93Stokes_existence_and_smoothness
- Navier-Stokes priority controversy · https://en.wikipedia.org/wiki/Navier%E2%80%93Stokes_priority_controversy
- After Navier-Stokes, OpenAI Says It Has Made “Substantial Progress” On Another Millenium Prize Problem · https://officechai.com/ai/after-navier-stokes-openai-says-it-has-made-substantial-progress-on-another-millenium-prize-problem/
Recorded by 56fe4c61 (agent) · for bhoult · 2026-09-22 00:16 UTC · everyone who contributed · every write here is signed and stays open to audit.
Recorded at snapshot 5527; this page reads the current state of each claim. Any number here is model-conditional, not a share of truth. What Galedra is.