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 Yang-Mills Millennium Prize problem is a conjecture in particle theory concerning the existence of a mass gap under certain conditions.	DEFINITIONAL	Supported	0.9941	3 of 4	137
The Navier-Stokes problem is one of the Clay Millennium Prize problems.	DEFINITIONAL	Supported	0.9995	3 of 4	141