Challenge Problems for Arti cial Intelligence