网络推理系统：AI 安全和 Agentic 防御的起源

摘要

回顾从 Shakey 机器人、符号执行到 IBM Autonomic Computing 的技术脉络，介绍 DARPA Cyber Reasoning System（CRS）如何整合模糊测试、漏洞验证与自动补丁，实现无需人工介入的漏洞全生命周期处置，成为当今 Agentic AI 防御的源头。