AIモデルが、特定の「禁止された知識」を保持していないことを数学的に証明し、それを消去するプロセスを何というか。

有害情報や著作物の情報をモデルから安全に除去するための技術。