[comment turned into an answer, as suggested by Mikhail Katz]
a 2022 paper by Scott Carnahan, "Why do the symmetries of the monster vertex algebra form a finite simple group?" goes some way towards answering Conway's question, using "19th century group theory".