Well, suppose you want to prove another result similar to abc conjecture. What would you rather read, a formal proof (basically low-level machine code), or an a

Well, suppose you want to prove another result similar to abc conjecture. What would you rather read, a formal proof (basically low-level machine code), or an actual human description of a theory used to produce the result?