One of the seminal results in random matrix theory is that in the edge scaling limit, the largest eigenvalue of random Hermitian matrices is the Tracy-Widom distribution. The original proof by Tracy and Widom is full of so many unintuitive technical details that most people who cite it don't understand it. (Or so I've been told).