upvote
This quote from Tao is prescient:

“ There does not seem to be anything in principle preventing the methods from extending all the way to Navier-Stokes, and there is even a non-negligible chance that the forcing term could be eliminated entirely, although there are an enormous number of technical difficulties that would ensue in implementing that program. At this point, I would not be surprised if one could batter out such an extension by pouring an enormous amount of compute and AI assistance at such a task…”

reply
Navier integration is language in extension:

C to C*

[0]:https://news.ycombinator.com/item?id=49612191

reply