He is right if model intelligence stalls. If model intelligence continues to improve soon there's no need for the prompter to understand anything or for any workshop as a mathematician will just be able to ask the model to explain how the proof works and models will do a good job at walking them through it step by step.

There will be no gap in understanding. Now there is because the models are discovering things at the edge of what they can do and so suck at explaining it. There's nothing particularly special about a newly solved problem in terms of learning it.

If we accept AI can explain all of existing math nicely, why shouldn't it be able to explain new proofs?