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