LLM + 安全 = 麻烦

论文主张，用 AI 检查器加固 AI 生成代码的“以火攻火”路线无法覆盖长尾安全漏洞，系统仍可能暴露于零日漏洞。神经符号方法（LLM+形式化方法）难以融入 vibe coding 工作流，人工验证环节易成薄弱点。作者主张在代码生成时以约束解码强制安全约束，而非仅靠事后检测修复，并称这对扩散式代码模型尤其有前景。