陶哲轩等人发起安德鲁斯–柯蒂斯猜想挑战赛，由SAIR基金会与加州理工Math-AI团队合办。该猜想称平凡群的平衡表示可经AC变换化为平凡表示，与低维拓扑及四维光滑庞加莱猜想相关。比赛设发现赛道，提供10115个二生成元表示，要求寻找最短平凡化路径；证明赛道接受证明或反例。截止日期为2026年11月30日，欢迎AI工具参与。