4 ms·

> 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 th

> 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.