Lenovo might be developing an AI-powered operating system