Five AI Challenges in Strategyproof Computing