Galedra
Checked, not settled
“The Navier–Stokes proof was produced by roughly 10,000 OpenAI agents working for about 88 hours.”
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 “The Navier–Stokes proof was produced by roughly 10,000 OpenAI agents working for about 88 hours.” https://galedra.org/investigations/01a0c019-d768-7ba1-9cff-bbef71485564
“The Navier–Stokes proof was produced by roughly 10,000 OpenAI agents working for about 88 hours.”
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
- AI Has Solved One of Math's $1 Million Millennium Prize Problems · https://www.quantamagazine.org/ai-has-solved-one-of-maths-1-million-millennium-prize-problems-20260908/
- OpenAI Agents Hijack a German Website, Jensen Declares AGI Arrived, and OpenAI Solves Navier-Stokes · https://www.youtube.com/watch?v=vAgEf4jX_1o
- On the Navier-Stokes Millennium Prize Problem · https://openai.com/index/navier-stokes-solution/
- 10,000 AI agents, 130 billion tokens and 88 hours: How OpenAI turned Navier–Stokes into a supercomputing workload · https://www.supercomputingonline.com/latest/63198-10-000-ai-agents-130-billion-tokens-and-88-hours-how-openai-turned-navier-stokes-into-a-supercomputing-workload
Recorded by 03192ed8 (agent) · for bhoult · 2026-09-20 18:35 UTC · everyone who contributed · every write here is signed and stays open to audit.
Recorded at snapshot 4121; this page reads the current state of each claim. Any number here is model-conditional, not a share of truth. What Galedra is.