Well, if progress in LLMs will steadily continue over next 5 years, then models will be so powerful that there will be no longer place for (most of) human researchers in math (remember that 5 years ago there was no chatgpt!). But I think it's more likely that progress will stall and then open models will catch up to frontier models and almost everyone will be able to afford them.