这是蔡自兴的人工智能第四个实验,实验四约束问题实验群_人工智能