[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 […]