Congruence properties for the partition function

Eighty years ago, Ramanujan conjectured and proved some striking congruences for the partition function modulo powers of 5, 7, and 11. Until recently, only a handful of further such congruences were known. Here we report that such congruences are much more widespread than was previously known, and we describe the theoretical framework that appears to explain every known Ramanujan-type congruence.