将人工智能指向一个“已验证”的微内核？
2 分•作者: RantyDave•12 天前
既然人工智能在发现安全漏洞方面表现出色已是显而易见的事实，是否有人将其应用于经过形式化验证的软件？我想到的是 seL4。理论上它应该找不到任何问题，对吧？
查看原文
Since it has become obvious that AI is great at finding security flaws, has anyone pointed it at some formally proven software? I'm thinking seL4. In theory it should find nothing, right?