Sobreyectividad y seguridadtransformers security surjectivity alignmentAlgunos LLMs son demostrablemente inseguros