I don't share your pessimism. If you think a shorter elegant proof is more desirable, well, I totally agree with you. I think math is more about the proofs tha

I don't share your pessimism. If you think a shorter elegant proof is more desirable, well, I totally agree with you. I think math is more about the proofs than the results. On the other hand I have zero problems trusting a proof checked by a computer. I don't know you but I usually trust much more computers with tedious computations than myself.