> Here, I disagree. What makes you think the AI won't be able to ask the right questions without prompting?

But why would they ask the right questions without prompting? The LLMs have no intrinsic goal to research math problems, it would just be very costly to run queries without a reason to run them... arguably a human in that loop would be a mathematician, but then we do need them after all.