That's not the same as talking with the person who would have made the proof, and it's hard to argue that's comparable at all.
This is what I hear most about from friends who stayed in academia and research: the pain of losing that. Conferences stopped being interesting, because there's barely an exchange of ideas anymore. Nobody trying out new approaches, everybody just pulling the same lever in an endless loop. Nobody with anything interesting to share, and no potential to learn.