The cool thing about LLMs is not only might they be a database of all mathematical theorems, but they can also apply those ideas to the problems you're trying to solve, which is exactly what you said you're interested in. Not sure why you lack enthusiasm.
LLMs applying the ideas to problems I'm trying to solve is exactly what I said I wasn't interested in, actually. Because the LLM doing this for me reduces back to me simply reading from the textbook, only now I have no problems I'd be interested in applying things to since, again, they're already in the textbook.