GPT-4 vs o1