The UK also has one of the best university systems in the world so we can train our own people to do high skill jobs. And the whole concept of "high skill" is dodgy anyway; there is human capital in excess demand and human capital not in excess demand.
Terence Tao doesn’t think AI will replace human mathematicians anytime soon, but he does consider it well suited to helping solve certain types of complex mathematical problems: ones that can be broken into thousands of small, manageable subproblems.