Mathematical Challenges from AI Ethics