We know very exactly how the baby monster group in mathematics operates. It has no practical use as far as I’m aware (it doesn’t work).