S(12) ≥ 522,622,378
- Holds for
- n = 12
- Announced
- Oct 6, 2026
- Proof
- Lean proof
- Points
- 0.7
By 
Evidence
- Lean proof github.com/jhalfar/superpermutations/blob/cc5c763bd5854317b20dadb138990802656e6f03/proofs/lean/lower/AuditCFinal.lean Theorem C with a kernel-checked finite search
-
Lean proof, kernel-checked
github.com/jhalfar/superpermutations/tree/cc5c763bd5854317b20dadb138990802656e6f03/proofs/lean/lower
Commit
cc5c763bd5854317b20dadb138990802656e6f03
Proof check
kernel-checked
LowerBoundAt 12 522622378Linking lemma written by the Almanac.