Yeah, he acts like regurgitating Google is going to solve all our problems, he could have had the same results if he was surrounded by a team of competent mathematicians working through the problem instead of sitting in a room by himself endlessly trying to get the llm to output anything useful for hours.

Not to overestimate the LLMs impact, but he would probably not get the same result if he was working with a team. If he isn't familiarized with the theorem's area, the odds are very high that nobody in the team would be familiar either, for the same reasons that apply to him.

Compiled databases and search engines have completely different capabilities than groups of people.