Will the Navier-Stokes problem be solved by 2030? · YES 30% — Manifold odds