Comment by j2kun

It's because a good proof conveys human-level insight first and foremost, and the details are often mental baggage that can be sorted out later.

Proof assistants are the opposite. Sacrifice intuition and insight for the sake of correctness.

This is also why mathematicians love picture proofs.