The ChatGPT maker said it has four million weekly active users for its AI coding tool, up from three million two weeks ago.