Agreed. Few people ever read and follow those proofs. Another related issue is proofs by computer e.g. the four coloring problem. No human will ever understa

Agreed. Few people ever read and follow those proofs. Another related issue is proofs by computer e.g. the four coloring problem. No human will ever understand every step the computer is doing in these proofs but they can understand the program doing the proof and why it must be correct. If we insist on proofs like Euclid's proof that there are infinite primes or sqrt(2) is irrational then these computer proofs are clearly different. If we must use a computer is the proof somehow "ugly"? I don't think so but maybe I'm wrong.