Yes, I was going to ask, how does this compare to with/without internet access. Coders were also likely more persistent when they could only read the tool's manual and keep trying, vs getting the answer from StackOverflow immediately.
I've heard there's been a decline in memorization skils since the internet, but I have not verified.

Can we opt to "live" in the Matrix?

Yeah, we also need to solve the attribution and retribution for the people who contributed to the result, and we can't expect this to happen from mega corps alone.

Even if it's finding bugs in those, it would be progress. Imagine we can find bugs like that in many other problems, that's pretty valuable. Agreed it will take time to digest proofs and produce something new out of it.

I think many theoritical researchers do not care about practical applications (from physics university time, I even remember a disdain from some students about applications because it's "dirty", meaning badly approximated). In any case, it's hard to predict, but sometimes theoritical results have real world impact eventually. Crazy theories like quantum physics and Relativity are used to for computing (semiconductors and newer quantum computers) and GPS now.
Having this proven solution will probably motivate new research directions, and it could improve the understanding of this fluid mechanics equations, which has applications everywhere fluids are used...

Well written and agreed. I think suddenly having many new statements that are proven true, with probably some of them being unexpected, will have serious impact on research directions, even if it still takes time to digest and find useful applications.

I don't have an English source, but on this trustworthy French public service radio scientific podcast, 2 mathematicians (from reputed organizations, including one Henri Poincaré Prize) are discussing the Navier-Stokes AI solution. https://www.radiofrance.fr/franceculture/podcasts/la-science-cqfd/ia-et-mathematiques-quand-la-solution-pose-probleme-5497880
They say that the results are legitimate and proven through mathematical proof software. It did build on recent progress by humans, but it would still have taken years for humans to get there, because AI could explore so many paths in a much shorter time than a few human specialists can.
They explain the help from AI is technically remarkable, and people who don't recognize it are in denial. They think mathematics research without AI will not make any sense soon. There's also some hope that it will allow focusing on new interesting problems that the current AI cannot solve yet. They also discuss the problem of AI being owned by foreign mega corporations and that's a risk for public research produced for the common good.
I'm probably going to get downvoted for this unpopular opinion here, just know that I also hate the social and environmental impact of AI, but denying its effectiveness is clearly irrational now.

Shocking!

As an intermediate solution, you can define it as X times the median or the minimum legal wage, so they still have incentive to raise them.

Do you think you have some trauma from childhood of parents serving you food too hot and actually burning your mouth?

Cold green tea and oolong tea are super common in Asia.

You can add a human hand with a giant jewel ring and a whip behind the human hand.