SAIR competition: Andrews-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 Conjecture Challenge, which opens today. This challenge is a collaboration between the SAIR Foundation and the Math-AI group at Caltech, organized by Sergei Gukov, Terence Tao, and myself. The Andrews–Curtis conjecture is one of the most prominent open problems in combinatorial group theory and also has deep connections to...