Claims

Search Type State Status Topic Model Order Counting Over

As of snapshot 27745 under ledger-default@0.3.0.

Claim	Type	Assessment	Score	Review checks	References
Navier-Stokes was solved by a generalist model reasoning from first principles for 88 hours without fine-tuning, rather than by a physics-informed neural network.	OBSERVATIONAL	Supported	0.8625	3 of 4	144
OpenAI's announcement said it began training a new model strong at mathematics on 28 August 2026 and pointed it at Navier-Stokes on 1 September 2026, after which it solved the problem.	HISTORICAL	Supported	0.9941	3 of 4	156
The model that produced OpenAI's Navier-Stokes result was not GPT-6 Astra but a more advanced internal model.	OBSERVATIONAL	Supported	0.9955	3 of 4	144
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.	OBSERVATIONAL	Supported	0.9781	3 of 4	264