I was getting at something slightly different. Many people say this is the end of mathematical research as a career. But if so, I don't see why it stops there. The same argument implies that any sort of intellectual work (e.g., ML research, etc.) will be automated away.