Co-lead of Gemini joins OpenAI. — Theverge