Government’s AI plan for public sector cuts questioned by tech leaders