<p>The No. 2 exec at OpenAI also led Instacart through its IPO in 2023.</p>