Comment by lukeschlather

I would bet that there are some proofs whose simplest form are simply incomprehensible to humans. Explaining them in terms a human could possibly understand is a fool's errand. However the theorem itself may be much simpler, and the theorem is the thing that's most worth translating.

Attempting to translate the proof is valuable, but we have to be realistic about what is and isn't possible.