[eitally]

I am not impressed with that steering of the AI. In the case of Terry Tao, he clearly held a solid understanding of the problem domain and could also understand the outputs of the LLM at an expert level. He asked astute, topical questions that specifically probed areas of the problem that were either unclear or insufficiently specified, and ultimately ended up at a place where (presumably) he both understood the Jacobian Conjecture Counterexample exhaustively, and how it was derived. My impression is that through his learnings during the chat, he became sufficiently well-educated in this subdomain to apply some of these lessons to other mathematical pursuits.

In your counterexample, the human just repeatedly asked the model to "try harder". Not remotely the same.

[raz32dust]

I know but the point is that it worked too. You could argue one problem is harder than the other, I am not and expert so I wouldn't know. But at least it's clear the second result is also impressive, and didn't require much expertise. So it's wrong to say that you need expertise to get hard and impressive things done with AI.