{"id":"arxiv/2607.23611","url":"https://arxiv.org/abs/2607.23611","tags":["math.GR"],"score":0,"title":"Machine-checkable equivalence certificates at the length-14 Andrews-Curtis frontier","domain":"math.GR","source":"arxiv","authors":["Josep Carreras"],"reviews":0,"subject":"math.GR","summary":"In rank 2, unconditional verification of the Andrews-Curtis conjecture stands at total relator length 12; at length 13 every balanced trivial-group presentation is AC-trivializable or AC-equivalent to the Akbulut-Kirby presentation AK(3), itself open. At length 14, Shehper et al. reduced the Miller-Schupp family to six hard presentations: four stated AC-equivalent to AK(3) with no published move sequences, and two unresolved. We prove four explicit AC-equivalences among these six as machine-checkable elementary-move certificates, replayable in under a second by a small dependency-free…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-26","reactions":{}}