De wetenschap heeft nu ongeveer 12.000 mierensoorten beschreven, en waarschijnlijk zijn het er in totaal minstens twee keer zoveel.
Omdat mieren overal ter wereld voorkomen (behalve Antarctica), zijn ze één van de succesvolste diergroepen. Geschat wordt dat de totale biomassa van mieren groter is dan die van alle andere dierensoorten op aarde.