What is going to suck though is the ladder for juniors. We dont start out by working on big ticket problems, but usually early career researchers solve really tiny problems in a cheap way. The lowest bar for a cash strapped PhD student would be to contribute to some new theory in some way even if the student doesnt have access to equipment.
For biosciences and physics, sure. For mathematics? I am skeptical that your assertion applies.
If AI is somehow able to prove everything wouldn't it bypass Godel's incompleteness theorems?
Yes, but this is when someone reaches ASI and everything changes. For now, a good researcher can build off their discovery in a way their AI can’t.
This is what a lot of scientists love to tell themself or talk about in celebratory speeches.
The truth is: a lot of science is kept behind journal paywalls, so that only "officially approved" (in the sense of: working at a university or an governmental research institute) scientists can easily access it.
Also be aware that the world wide web was actually conceived by Tim Berners-Lee for the exchange of information between scientists.
Will be going to a conference at the end of the month where there will be several presentations on the use of LLMs for this.