> 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.
> But why would they ask the right questions without prompting?
What if the models are good enough (maybe even now?) so that all you have to say is "come up with a list of interesting problems overlooked by humans in <insert math discipline>. Then work on those proofs."
I don't think that's so far fetched. Especially given the news today about NS.
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.