很多人声称，有了AI辅助的漏洞发现，安全代码（以及任何无需信任的东西）将变得不可能。 但我对此持更乐观的看法，而AI辅助的形式化验证是其中一个主要原因：