The purpose of math is indeed to increase our understanding, but the correctness of proofs is a precondition for that. A wrong proof does not increase understanding, although it may create such illusion.
Proof assistants provide scalability to correctness checking and this way they contribute to understanding.
Some proof assistants contribute more directly to understanding by making proofs easier to study.
Some proof assistants contribute more directly to understanding by making proofs easier to study.