As somebody who does some 'mathy' theoretical CS work, I wonder if this will stay true forever, for the following reasons:
* The general population, but also academics, take increasingly more time to mature.
* The body of knowledge grows and mastering it takes more time.
* People (at least the privileged elites) spend more time taking care of their mental and physical health. For example, we see that athletes competing in team sports on top level may reach their peak in their mid-30ies, which is a relatively recent development. If one translates this to math (I know it is a shaky assumption, but why not speculate) and peak creativity is reached in the mid-30ies, the papers that result from it may be published years later.
* In some decades, people will most likely frequently use software tools as helpers.
Not that I think that these developments change things completely, but I would expect that we will see a substantial shift.
I had read up on HoTT/UF after Voevodsky passed away. It seemed promising, has it developed much? It seemed like coq / UniMath had a reasonable community.
* The general population, but also academics, take increasingly more time to mature.
* The body of knowledge grows and mastering it takes more time.
* People (at least the privileged elites) spend more time taking care of their mental and physical health. For example, we see that athletes competing in team sports on top level may reach their peak in their mid-30ies, which is a relatively recent development. If one translates this to math (I know it is a shaky assumption, but why not speculate) and peak creativity is reached in the mid-30ies, the papers that result from it may be published years later.
* In some decades, people will most likely frequently use software tools as helpers.
Not that I think that these developments change things completely, but I would expect that we will see a substantial shift.