Workers using ChatGPT and other AI tools to save time