Leaked documents shed light into how much OpenAI pays Microsoft