Why so many people think Navier-Stokes solution is real? Anyone wants to bet?
Because there is a Lean proof. I am sure some of the people betting on the prediction markets have already ran Lean on it to verify.
But how can Lean be so reliable?