“The O-1 model is a recent, vivid example of a system that utilizes significant inference-time compute.”