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?
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?