Language models are injective and hence invertible

How a recent paper proves Transformer language models are injective as functions from prompts to activations, and can be inverted to reconstruct inputs.