16:00
2026-09-11
terrytao.wordpress.com
ai-research
SAIR competition: Andrew-Curtis challenge
The SAIR Foundation and Caltech's Math-AI group opened the Andrews–Curtis Conjecture Challenge today, organized by Sergei Gukov, Terence Tao, and Lucas Fagan, to apply reinforcement learning and combi…