Gen AI in Proof-based Math Courses: A Pilot Study