OpenAI Executive Jan Leike Resigns, Calls for Stronger AGI Safety Measures