OpenAI-o1 AB Testing: Does the o1 model really do good reasoning in math problem solving? - Leo Li; Ye Luo; Tingyou Pan (CoRR, 2024)