Como aqui tem especialista de tudo, podem me explicar como a teoria dos grupos de simetria, especificamente os grupos de Lie, é utilizada para explicar a unificação das forças fundamentais na física, e quais implicações isso tem para a formulação de uma teoria quântica da gravidade compatível com a mecânica quântica e a relatividade geral?