Wei Dai comments on OpenAI o1