which part is wrong?

> For any practical application, numerical solvers for Navier-Stokes already exist and do a good job.

or

> This proof is just checking the boxes for mathematicians.