Lean 4

Defense Trilemma 論文閱讀分析：如果你的 prompt injection 防線本質上只是 wrapper，那它很可能從一開始就不可能又保留效用、又連續穩定、又把風險清乾淨