Greg_Colbourn comments on OpenAI’s o1 tried to avoid being shut down, and lied about it, in evals