ChatGPT & Opera: the browser unveils Shorten, a new function based on AI