a 2022 [paper](https://arxiv.org/abs/2206.15391) by Carnahan, *"Why do the symmetries of the monster vertex algebra form a finite simple group?*" goes some way towards answering Conway's question.