If there is a formal proof, and it is the proof of your precise statement (which I imagine is easy to check, otherwise I think that mathematicians would not accept the Navier Stokes result so quickly), then there is no way to ignore the result, however badly it is written.

This was always the essence of mathematics, and it will stay this way whichever statement by whomever is made.

As much as I personally despise altmans, "darios", and their bootlickers, this is one aspect which is undoubtedly "good for the mathematical community" as a whole. The fact that the validity of your statement does not depend any more on an expert opinion of some person with grants, but as it always should have had been, just on the validity of the chain of deductions.