“Unlike traditional autoregressive language models, OpenAI's o1 system performs an online search for the user at inference time.”