HN submission. Found in a submission link or body. Submitters do not count as commenters in the main ranking; a submission is not an endorsement.
Abstract
John Horton Conway's Cosmological Theorem, about Audioactive sequences, for which no extant proof existed, is given a computer-generated proof, hopefully for good.
arXiv comments
Plain TeX
Journal reference
Electronic Research Announcements of the Amer. Math. Soc. 3(1997), 78-82