Brute-force search is called that specifically for its lack of sophistication. A "sophisticated brute search" is an oxymoron.
Spending 132 billion tokens is definitely way more energy than human mathematicians would have thrown at the problem and probably would have solved within two years.