3 ms·AI will definitely make more people thing about verification. Formal or otherwise.by okaleniuk 10mo agoAI will definitely make more people thing about verification. Formal or otherwise.