Brains may win over brawn, but the problem is that brains don't generalize. It requires bespoke creative mathematical work. In that sense, the brute force method while slower has an advantage in that it could theoretically be derived more easily (from another algorithm for example or by a general intelligence system). Direct analytical results are always faster and more accurate than numerical results, but numerical results are more reliably attained.