SAIR 发起 Andrews–Curtis 猜想挑战赛

摘要

SAIR Foundation 与加州理工学院 Math-AI 团队合作，由 Sergei Gukov、Terence Tao 和 Lucas Fagan 组织的 Andrews–Curtis 猜想挑战赛今日开放。该猜想是组合群论的重要开放问题，并与低维拓扑、奇异光滑四球面、光滑四维 Poincaré 猜想及 Generalized Property R 猜想相关；其解可写成易于验证的组合搜索问题。参赛者需通过 AC1 反转、AC2 相乘、AC3 共轭等不改变底层群的移动，把平衡表示化为平凡表示。Caltech 此前用强化学习和组合搜索处理潜在反例，但许多重要情形仍无进展；组织者希望借助近期 AI 进展解决或证伪该猜想。最著名的 Akbulut–Kirby 族中，AC-平凡性仍开放。