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

Hacker Newsnew | past | comments | ask | show | jobs | submit

		tines 19 days ago \| parent \| context \| favorite \| on: In math, rigor is vital, but are digitized proofs ... Sure, applications are necessary, but why will humans do that?

layer8 19 days ago [–]

I agree (https://news.ycombinator.com/item?id=47575890), but the parent assumes that AI will lack the ability.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact