Will the Navier-Stokes problem be solved by 2030?

Prediction market on manifold. as per the Clay Mathematics Institute: Prove or give a counter-example of the following statement: In three space dimensions and time, given an initial velocity field, there exists a vector velocity and a scalar pressure field, which are both smooth and globally defined, that solve the Navier–Stokes equations. More info: https://en.m.wikipedia.org/wiki/Navier%E2%80%93Stokes_existence_and_smoothness This market resolves to YES if the Clay Mathematics Institute (or equivalent organization) agrees that the Navier-Stokes problem has been solved, whether that be proved or disproved as per above by the end of 2030. Otherwise this market resolves to NO.

24h Volume: $1.605. Liquidity: $1,000. Resolves: 1/1/2031.