upvote
Could be worse, imagine having years of experience in a profession these things can now handle by themselves.

:)

reply
It's worse for those who will face the job market (or maybe tenure review) in the next 2–3 years. If you have more time before you have to justify your continued employment, you can pivot to something else. Theorems and proofs may be cheap now, but there is a lot of value in figuring out what is worth studying.
reply