SAIR 与 Caltech Math-AI 正式启动 Andrews–Curtis Conjecture Challenge

SAIR Foundation 与 Caltech Math-AI group 于 9 月 11 日启动 Andrews–Curtis Conjecture Challenge，由 Sergei Gukov、Terence Tao 与 Lucas Fagan 组织。挑战围绕 Andrews–Curtis conjecture 及其 stable version 设置可检查的 combinatorial search / proof tracks，目标包括寻找 balanced group presentations 的短 trivializations、推进经典候选反例以及最终证明或否证猜想。该问题与低维拓扑、光滑四维 Poincaré 猜想等方向相关，并因解答可通过明确的 move sequence 与 verifier 检查而适合 AI search。