> 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 wi

> 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.