I was also annoyed for the opposite reason. I had assumed until then that math was more about application of what’s been proven rather than revisiting the proof

I was also annoyed for the opposite reason. I had assumed until then that math was more about application of what’s been proven rather than revisiting the proofs. I think the majority of students feel what I felt; that math got a lot less applied and a lot more esoteric in the academia.