So it really depends. For the Navier Stokes solution, yes, the AI proof provides no mathematical value, but it’s a stron…

So it really depends. For the Navier Stokes solution, yes, the AI proof provides no mathematical value, but it’s a strong proof of concept of how proofs could be developed by AI. There are tons of areas in economics, engineering, and physics where you often need a proof just for your result.