Based on Kostant's cohomological interpretation of the Amitsur–Levitzki theorem, we prove a super version of this theorem for the Lie superalgebras osp(1, 2n). We conjecture that no other classical Lie superalgebra can satisfy an Amitsur–Levitzki type super identity. We show several (super) identities for the standard super polynomials. Finally, a combinatorial conjecture on the standard skew supersymmetric polynomials is stated.