Proof of Conway's Lost Cosmological Theorem
  John Horton Conway's Cosmological Theorem, about Audioactive sequences, for which no extant proof existed, is given a computer-generated proof, hopefully for good. 
Shalosh B. Ekhad (Temple University) and Doron Zeilberger (Temple   University)