Lie groups are countably representable

We prove that every Lie group can be realized by permutations of a countable set, answering a classical question of Ulam. The key deformation construction originated in an argument produced by OpenAI’s GPT 6 Astra during extended mathematical discussions.