I wish mathematicians would just focus on this. This really is the problem, at the end of the day.
Having models get better at writing elegant proofs and explaining their results will not solve this problem - it will only make it worse, if anything.
We are all sympathetic to this. I, personally, am much less sympathetic to the absurd notion that it is "bad" that this new technology can solve important open mathematical problems at all, that we should stop trying to solve them, that things like the Mathathon are dangerous and needs to be shut down, that ugly proofs are the real problem here, so much so that you wish the open question weren't resolved at all, and so on. So silly.
But being pissed off that people are going to be out of work is something I agree 100% on. Hopefully, much like the internet, there's a way to make the whole thing a net benefit for society.
I don't see it. What I see is more wealth and power concentration and with the worst group of people possible.
But really bad from a social perspective - as people lose their jobs they also lose their tiny piece of power in the society that was the labor someone else needed. Now that power has concentrated to the frontier model owners, and everyone in the future will depend on them.
And on a personal level, sacrifices people have made to become good at their craft have been made worthless, as any rich PoS can now prompt their way to "good" art and call their end result as good as something made with skill that needed years of training. That I really hate.
Which is only possible because:
a) The models have been trained on work of millions of people,
b) They've done it for free, In other words, they've stolen entire people's lives. Millions of lives. They literally suck people dry and tell them to go look for another job.