ARC-AGI scores of OpenAI's models, with a spotlight on o3's performance