Dana Moshkovitz is a computer scientist, not a pure mathematician. The work she does may have practical applications even if the proofs may be incomprehensible, just as incomprehensible software can still be useful.

Incomprehensible pure mathematics has no value to anyone.