Notes on OpenAI’s new o1 chain-of-thought models