AI app: MathGpt for Reasoning with o1