De er maur som løser et geometrisk problem, og det er forbløffende fargerikt.