AI-Assisted Generation of Difficult Math Questions