Why so many people think Navier-Stokes solution is real? Anyone wants to bet?
But how can Lean be so reliable?