Minimal superpermutation length $L(6)$

The length of the shortest string that contains each permutation of $6$ symbols as a contiguous substring.

Lower bound: $867$
Upper bound: $872$

Verified bounds

Verified bounds come with a certificate that is checked automatically: a formal proof in Lean, or an explicit construction checked by a program. Submit a certificate.

Updates from the literature