I am currently coasting through a mathematics undergraduate degree after having taught myself how to do proofs using a proof assistant. The last barrier to autodidacticism in mathematics is overcome with them, because one no longer needs direct contact with the mathematical community via academia to learn the techniques used (at the undergraduate level.)