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