Consider that 'calculator' used to be a title for a role a human used to do. That went away, which is probably fine as there were other jobs and likely it was tedious.

Then consider that "just adapt" could be "adapt or die", and that maybe, just maybe there is no way to adapt to well-funded corporations churning out millions of proofs a minute.

I don't know, maybe AI companies have "agency" to not break everyone else's stuff, just to get more funding and a higher share price?