Tech »  A Research Leader Behind ChatGPT’s Mental Health Work Is Leaving OpenAI