Good explanations should take the form of human-understandable proofs.

Define "human understandable".

It's worthy of note that most humans, do not find most mathematicians understandable. As is frequently demonstrated in Calculus classes. Therefore it is arguable that even human produced results are not generally human understandable.