I think it's going to reduce the friction of exploring new areas in math, and that we're going to see a golden age of math unlike anything seen before.
Right, most professional mathematicians know almost nothing about their neighboring branches of mathematics.
An algebraic geometry researcher would be hard pressed to understand a new result from category theory or even something closer like commutative algebra.
An algebraic geometry researcher would be hard pressed to understand a new result from category theory or even something closer like commutative algebra.