Assessing GPT Performance in a Proof-Based University-Level Course