open problem

Navier-Stokes Regularity

Whether smooth initial data for the 3D Navier-Stokes equations can develop singularities in finite time. A Clay Millennium Prize problem.

1 machine-reviewed paper whose extracted claims name this problem. Matching is literal, over the claim graph, so every listing traces to a sentence in a review.

This is the review hub: papers that name the problem, with the machine's verdict on each. The claims shelf lists the individual claims themselves, formal (Lean) or stated.