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
OpenAI's Navier-Stokes announcement carried a disclaimer that the team cannot rule out that other teams' work was incorporated into the training of the model used to solve the problem.	OBSERVATIONAL	Supported	0.9823	3 of 4	235
OpenAI's Navier-Stokes run consumed about 130 billion tokens.	QUANTITATIVE	Supported	0.9781	3 of 4	119
OpenAI said it does not intend to claim the $1 million Clay Millennium Prize for its Navier–Stokes result.	OBSERVATIONAL	Supported	0.9969	3 of 4	202
The Navier–Stokes proof was produced by roughly 10,000 OpenAI agents working for about 88 hours.	QUANTITATIVE	Supported	0.9781	3 of 4	211