猜想与离散和非离散数学相关，并在1992年为理查‧伯切德斯(Richard Borcherds)所证明。在此设定下，怪兽群可由怪兽群模组的自同构群示现：亦即由一作用在怪兽李代数上，属广义Kac–Moody代数，且包含Griess代数的无穷维代数的顶点算子代数示现而出。
表示与维度.　　一个忠实的复数表示的最小度数是196,883，它是怪兽群阶数可分得3个因子乘积的分割。当中怪兽群的最小忠实排列表示是2 · 3 · 5 · 7 · 11 · 13 · 29 · 41 · 59