Comment by compiler-devel

It's not the despair, it's the turnabout. Reading proofs containing the language that I mentioned seemed to suggest that the ideas were trivial to the author in a way that implied their superior intelligence. Now AI has come along and has, by way of counterexamples, shown theorems to be incorrect in devastating (maybe "trivial") ways. The shoe is on the other foot.