Did Microsoft Pay $10 Billion for OpenAI?