[pa7x1]

Isn't this evidence that this process has started to occur? The difficulty to make progress in certain areas of math pushes mathematicians to the shallower areas where it's easier to make a contribution. Progress in the first ones will stall and at some point the shallower areas will become less shallow and same phenomenon will occur.

Maybe we will keep forever discovering new shallow areas but I suspect this is not the case. In any case this is a phenomenon that I think will play out in the next few hundred years, not sufficiently impactful in the next few decades but more and more noticeable.