Semi-abelian monadic categories.
It was recently proved that every additive category has a unique maximal exact structure, while it remained open whether the distinguished short exact sequences of this canonical exact structure coincide with the stable short exact sequences. The question is answered by a counterexample which shows that none of the steps to construct the maximal exact structure can be dropped.