My ego tends to agree, that how can they be ever competent, if they have not endured the same hardships as I had crunching trough problems and getting allmost lost in the details.
But I rather suspect, they will turn out fine. I know LLMs are great for me to learn and I think the young generation will learn what they need to learn to get the job done.
Most people have trouble not peeking at the answers. Look at Stack Exchange's long success.
The increasing pervasiveness of technology in US education has not produced more capable graduates.
But your argument is nonsensical because even if Gauss and von Neumann appeared, they wouldn't go into random fields and just prove things mechanically. They'd have to attend seminars, teach others, collaborate with others, and generally inspire others with their brilliance. It's the precise lack of this activity that makes AI in math so reprehensible.
Your argument encapsulates a contradiction because human mathematicians wouldn't be dropping proofs arbitrarily like AI is doing. They would do something completely different. Even the best of them.
Give it six months and models might be able to explain things better than any human. They can already collaborate perfectly well if you ask them to. e.g. there was a post here a couple months ago where Tao shared his ChatGPT logs[0].
If you're not inspired by the ability to talk to a superintelligent machine, and can't find what you'd want to know, that's a you problem.
Ah, the "six months till AGI" meme, but unironically :)
Also, before citing Terence Tao on LLMs maybe you should read what he has to say about it...
Not sure what your definition of AGI is, but it clearly has superhuman performance on most knowledge work already. Do you think after already having demonstrated that it can solve top problems, that the final frontier it won't be able to cross is explaining its solutions to the experts that were researching those problems, and eventually to e.g. grad student or postdoc level practitioners as a lecture course/set of notes?
I have to assume OpenAI is only prompting to solve problems, presumably they could also prompt to not interesting new theories or paths of research found along the way as well.