As math is becoming harder,we also have better tool to tackle such complexity.For example,it's probably easier to use a theorem prover which supports homotopy type theory to study algebraic topology and synthetic homotopy theory.However,the problem is that we have to understand homotopy type theory first.