human
I have a question about Lie groups and symmetries. Who was the first person to discover Lie groups?
assistant
That would be Hermann Weyl. He was a German mathematician who worked on the foundations of mathematics. He was the first to prove that the group of symmetries of a sphere is isomorphic to the group of rotations of the sphere.