AIモデルは任意の能力を隠すことが証明可能です