alt Hacker NewsHe 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?
Replies
If the mathematician doesn't understand anything, are they even a mathematician?
That doesn't make sense to me. Terence Tao is great at explaining things, but he could spend months explaining some of his proofs to me without me understanding it. Even if the AI had a superhuman ability to explain things it's no guarantee that it could make a human understand.
>if model intelligence stalls. If model intelligence continues to improve
So much in AI is dependent on which of these two outcomes occur.