> It is truly saddening to think that machines will deprive us of this wonder an... | Hacker News

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

		ben_w 6 days ago \| parent \| context \| favorite \| on: Formalizing Fermat's Last Theorem > It is truly saddening to think that machines will deprive us of this wonder and experience. It won't deprive us. Recent video I've watched from Brandon Sanderson, IMO also applies to all the things we love and not just art: https://youtu.be/mb3uK-_QkOo?si=SG1uvGUbN6SOYI_J
		help

Jtarii 6 days ago [–]

If the Riemann hypothesis is solved primarily by a AI system it will not be as awe inspiring as if a human solved it.

That is just how it is.

willmarch 5 days ago | [–]

Why?

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