Сколько видов муравьёв насчитывается сейчас на земле?

• более 6000
• более 4000
• более 5000