AI app: Reasoning-Lab for Reasoning with o1