Assessing GPT Performance in a Proof-Based University-Level Course | Hacker News Reader