Larks comments on Miles Brundage resigned from OpenAI, and his AGI readiness team was disbanded