**Questions and answers on AI and verification: follow-up to my May ACM Tech Talk**

> On May 7, I gave a well-attended ACM Tech talk on “Software Verification in the Age of Artificial Intelligence”. There were more questions at the end than I had the time to answer, but I promised the participants that I would answer everything. In the meantime I had to finish my book AI for Smarties: ... Read more Questions and answers on AI and verification: a follow-up to my May ACM Tech Talk 21 July 2026 by Bertra...

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：论文
- **发布时间**：2026-07-28 23:09（北京时间）
- **原文**：[打开原文](https://bertrandmeyer.com/2026/07/21/questions-and-answers-on-ai-and-verification-a-follow-up-to-my-may-acm-tech-talk)