Hasta ahora se han descubierto y nombrado 9 500 especies de hormigas aproximadamente. Los mirmecólogos (científicos que estudian las hormigas) estiman que existen alrededor de 20 000 especies en total.