Mapping theorems to applications is certainly necessary for mathematics to be useful.

Sure, applications are necessary, but why will humans do that?

	▲	layer8 3 days ago \| parent [-]
		I agree (https://news.ycombinator.com/item?id=47575890), but the parent assumes that AI will lack the ability.