Brute force would choke on a measly decillion of alternatives. It corresponds to an extremely short proof. A combinatorial explosion doesn't allow to use brute force for anything slightly longer than toy problems. Swarm of 10000 agents is a massive smart force.