2 ms·Questions and answers on AI and verification: follow-up to my May ACM Tech Talk4 points by rbanffy 3mo ago