Richard Socher：AI 与安全不必悲观，AI 正帮我们爬出持续数十年的安全危机

Richard Socher 认可 Perry E. Metzger 关于 AI 与安全的判断：微软月度 Patch Tuesday 修复了 974 个安全漏洞，几乎全部由 AI 系统发现，创下新纪录，但这并非 AI 安全末日，而是清剿长期潜伏漏洞的开始。他认为代码行数有限的软件不可能有无限漏洞，随着 AI 持续排查并推动软件形式化验证，漏洞池会逐步枯竭，安全状况正在快速变好。