Microsoft is quietly shopping for an OpenAI replacement