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.