A general point: learning higher mathematics is still quite difficult today, in part because there is a chasm between how easy it is for a computer to give feed

A general point: learning higher mathematics is still quite difficult today, in part because there is a chasm between how easy it is for a computer to give feedback when a student learns programming vs. how difficult it is for a computer to give feedback when a student learns math. (In particular the proof-checking part) Sadly, there is little incentive for anyone to develop innovative teaching methods for, say, potential theory in the complex plane or group representations in probability and statistics because these are not considered "useful" beyond the academic realm and industry niches... If any enterprising hackers happen to read this comment, please know that there is a small but devoted community of amateur mathematicians who would be overjoyed at the opportunity to spend some of their free time learning esoteric branches of higher math with help from the computer, if only the right tools were available...