The No. 2 exec at OpenAI also led Instacart through its IPO in 2023.