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.
Complaint: what the Clay problem is asking is not "solving the equations". What is probably meant here: "will the problem of proving the existence of solutions of the Navier-Stokes equations be solved?" or "will the Clay problem about the Navier-Stokes equations be solved?"
@Tasty_Y Fair, I wanted a simpler title but the actual question is whether a proof (for or against) will arise to consider the “problem” of the Navier-Stokes equations solved.