It will be the exact opposite: In a short period of time, many people will be able to prove or disprove a theorem. The mastery that used to require a decade of extensive study can now be had just by grabbing and applying an llm to the problem.