True… but, we’re in a transitional stage still. Eventually, if these models are really going to be such a big deal, then the workflows of real mathematicians will probably involve using them very effectively. Eventually the generation that grew up using the things will become professors, and they’ll be good enough at using the things to ask a question that’s still hard with an LLM.

Well, either that will happen, or the pace of advancement will increase faster than humans can adapt. That’s the singularity, right? I don’t think we’re that close to it.