6 ms·

Proving FLT was such a profoundly emotional and spiritual experience for Andrew Wiles, it almost brought a tear to my eye: https://news.ycombinator.com/item?id

Proving FLT was such a profoundly emotional and spiritual experience for Andrew Wiles, it almost brought a tear to my eye: https://news.ycombinator.com/item?id=49203626 https://news.ycombinator.com/item?id=49203626 It is truly saddening to think that machines will deprive us of this wonder and experience. But truly exciting to dream about what lies beyond the limits of our biology.

bawolff 12d ago
Formalizing is not the same as discovering. There is still plenty of room for human ingenuity.
mannanj 12d ago
Makes me wonder, if we make a tradeoff for comfort and advancement from our biology's "limits" - and that tradeoff is spiritual fulfillment. Seeing it hit across: the work we used to do outdoors, the sleep-wake-dark cycle we adhered to for millennia, and more
ben_w 12d ago
> 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 https://youtu.be/mb3uK-_QkOo?si=SG1uvGUbN6SOYI_J
- Jtarii 12d 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 12d ago
    Why?