Если верить вот этой табличке https://en.wikipedia.org/wiki/List_of_metro_systems , выходит 10307. Но во-первых, новые станции открываются чуть ли не каждый день, а во-вторых много зависит от того, как определять метрополитен. Так что "порядка десяти тысяч" - самый честный ответ.
Спасибо за ответ!