Opera Mini now works with Aria, its AI which can retrieve up-to-date information from the web, serve as a research assistant, ...