I agree with search, which is what mathematicians also use over longer periods of time. But it is not brute force search (and neither is alphago’s search or mod

I agree with search, which is what mathematicians also use over longer periods of time. But it is not brute force search (and neither is alphago’s search or modern stockfish, though both still search at depth and speed higher than typical human).