3 ms·Mapping theorems to applications is certainly necessary for mathematics to be useful.by layer8 7mo agoMapping theorems to applications is certainly necessary for mathematics to be useful.tines 7mo agoSure, applications are necessary, but why will humans do that?layer8 7mo agoI agree (https://news.ycombinator.com/item?id=47575890 https://news.ycombinator.com/item?id=47575890), but the parent assumes that AI will lack the ability.