Claims
Search the graph by meaning. Each result carries its current verdict; open one to see its decomposition, provenance, and the reasoning behind the assessment.
The open problem of singularity formation versus global regularity/smoothness for the 3D Navier-Stokes equations (a Clay Millennium Prize problem). Claims about proposed proofs, disproofs, computer-assisted or AI-produced results, and their validity belong here.
Nothing matches these filters. Try widening the importance band, the assessment filter or the kind.
Contribute
If a claim here is wrong, or missing evidence, open it: every claim page carries its own entry for challenges, evidence, and corrections. If the graph is missing a claim or a question entirely, propose it below. A proposal is reviewed on its wording; accepted proposals are matched against the graph before they enter it.