And we collectively decided that it's fine, you don't actually need to be able to solve 1234×5678 in your head.

But I am not sure you can compartmentalize the specific skill we can out-source to AI. I would not agree with "you don't need to be able to think in your head."