SAIR competition: Andrew-Curtis challenge

[This is a guest post by Lucas Fagan. This blog post was initially written in a different file format and converted using AI. — T.] I am excited to announce the Andrews–Curtis Conjectur…