コンウェイとノートンによって考案されたムーンシャイン予想は1992年、リチャード・ボーチャーズ(RichardBorcherds)により、弦理論や頂点作用素代数（英語版）(vertexoperatoralgebra)、一般カッツ・ムーディ代数を用いて証明された。
康威和诺顿提出的猜想在1992年由理查德·博赫兹使用弦论中的no-ghost定理（英语：Goddard–Thorntheorem），以及顶点算子代数和广义泛卡茨-穆迪代数（英语：GeneralizedKac–Moodyalgebra）之理论得以证明。