That's what Terence Tao said in one of his recent videos about it. That what the LLMs can provide is scale that humans can't. The example he provided is checking many possible solutions in a short amount of time because they can review all the previous literature and, for example, rule out ones with errors. He was realistic and practical about it and said that the tools working this way can be very helpful for a human mathematician to use even if they're not "thinking". I find that to be a good balanced view that, unfortunately, seems to be rare these days. Even on this forum.

But breadth first search combined with a good pruning/exploration heuristic has always been one of the field's (AI) main tools, so this certainly is not new.

Do you have a link to that video?