Øystein Ore proved in $1951$ that for $n\gt4$ we have that all elements of $A_n$ are commutators.  He subsequently conjectured that this is true for all finite non-abelian simple groups.

The theorem was proved in $2008,$ and relies on the *classification theorem* 

Interestingly Ore himself was mainly concerned with graph theory.