My iOS app using MapKit is smooth with ~4k annotations on an iPhone 14. My experience is that it doesn't really start to choke until you get closer to ~10k.