The former Instagram VP is departing the ChatGPT-maker, which is folding the AI science application he led into Codex.
