The tautological ring of $M_{25}$ is not Gorenstein

Abstract

We show that the tautological ring of $M_{25}$ is not Gorenstein, disproving a conjecture of Faber from 1993. This also implies that the Faber-Zagier relations are the complete list of tautological relations on $M_{25}$.