> they don't understand the notion of truth so they can't do verifiable work like math proofs.

Nobody that understands automated proof checking was claiming that.