That's why the solution should be presented in a verifiable formal language, such as Lean. Which is the case with the Navier-Stokes problem.