Two leading experts on Navier Stokes still do not know whether their methods were used:

https://terrytao.wordpress.com/2026/10/04/on-classical-solut...

Humans will have to wade through mountains of slop to decipher the argument. Alternatively, they could just ignore it like Mochizuki's ABC proof prior to the Scholze/Stix refutation.