Maybe I should have been clearer. My point is that solving something like Navier–Stokes just pushes knowledge work further ahead, onto a new set of bigger and more complex problems. Navier–Stokes is a Millennium problem today, but once problems like that become solvable, they can open the door to entirely new classes of problems we haven’t even thought of yet.

Yes, this is how science and engineering has worked for millennia.

For example there are no engineering implications of this solution yet.

For the next several decades, we'll have engineers (presumably with AI) optimize things like rocket engines and turbines and AC compressors to work a few percent better because the numerical approximations might have caused us to be overly conservative.

AI is not going to magically solve all random problems. Pick a career where you are in the driver seat.

It seems like there were a couple of human mathematicians that were higher on the 'solving complex problems ladder' than this machine.

It did not solve Navier-Stokes. We still will need to use the bad old numeric methods to simulate the fluid behavior.

But it did find a long-suspected smooth solution with a singularity.