> One naive belief many people have is that proofs should be "intelligible" but it's increasingly clear this is not the case.

That’s one of the main reason why I did not pursue an academic math career. The pure joy of solving exam problems with elegant proofs is very hard to get on harder problems.