I don’t really buy the second half of this at all. It obviously doesn’t generalize very well. Is it bad if there are fewer coal miners in the future as a result of modernization? bsky.app/profile/euge...
To take an example, it is unequivocally a good thing that we now have 700+ new proofs of interesting things. It is bad if there are fewer mathematicians in the future as a consequence (though of course there might be more instead somehow)