Nice accessible talk from the Simons Institute presenting one researcher's view on where math is and where it's going.

Summary: there is too much to keep up with and modern proofs are almost too big for individuals to grok. AI with automatic theorem provers is a promising immediate term path forward.