Co-lead of Gemini joins OpenAI.