The UK spent £900 million on Palantir. Now it is spending £175 million on a British AI company to fix the tax gap.