“OpenAI's O3 model is believed to perform an active search process at inference time, which distinguishes it from purely autoregressive models.”