1979 年论文断言形式验证难成气候，2026 年预言它将像 fuzzing 一样普及

AGI Hunt 对比 1979 年论文与 2026 年预测，指出形式验证正从安全关键代码中的专家定制工具，转向可能像 fuzzing 一样适用于几乎所有生产软件。预测认为，LLM、语言设计与开发流程创新将推动其像静态类型和测试框架一样内建，并呼应 AI 或翻案 Devereux Paradox 的讨论。