代码库

AI 形式化验证的现实障碍：现有代码库

Hillel Wayne 指出，人们以为把现有代码库交给 AI 就能拿到证明或漏洞，但「现有代码库」本身往往不符合形式化验证的前提，这是被忽视的关键障碍。