The CEO said he cut the company’s workforce by 4,000 people – almost in half – because of gains in AI productivity ...