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.

Have you seen my drafts? For easy task I may write the straighforward solution, but for complicated stuff it's a mix of throwing stuff to the wall and see what sticks. It's informed search by experience, but AI also use weights to pick the attempts.

AI is not a calculator. OpenAI did not solve hundreds of open problems in math by "brute forcing the search space," there was a lot of intelligent and novel thought (gasp!) in the way AI chose the paths it did.

Yes, AI can explore thousands of ideas at once, no, that's not "brute forcing the search space" because the search space is way larger than you think it is.

> ...and economically viable.

And there are so many indicators that it's not currently economically viable and will only be if retail price is massively increased and strong regulatory barriers to competitors are erected. ;)