Ants that seem to defy biology – They lay eggs that hatch into another species

This is nuts. If I'm understanding correctly, the M. ibiricus queen mates with a M. structor male, uses his sperm to create sterile, hybrid female worker ants for her colony, then she (astonishingly) can also lay eggs that develop into fertile M. structor males, which means she has removed her genetic material from the egg and effectively cloned the male she previously mated with.

If you take the idea of genes as the target of evolution seriously, then every possible "bargain" between different genes that moves towards a pareto optimal for those genes, will eventually be discovered through the brute force search.

Assuming no extinction, climate change, nor heat death of the universe.

Evolution is not a particularly fast optimizer, on the scale of human perception.