Sleeping Agents Group Theoretic Agentic Pipeline 🔢 Verify su(N) Lie algebra claims with automated reasoning