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