Gemini’s co-lead is leaving Google to join OpenAI – 9to5Google