Galedra

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
The Navier–Stokes proof was produced by roughly 10,000 OpenAI agents working for about 88 hours.	QUANTITATIVE	Supported	0.9781	3 of 4	209