Cities are using AI, GPS, and IoT to modernize snow removal. But most systems optimize the wrong thing. Here's what's working, what's hype, and what's next.