Key Challenges of AI-Assisted Software Engineering