OpenAI o1 Results on ARC-AGI Benchmark