OpenAI’s o3 model might be costlier to run than originally estimated