‹ BackHN Continuity

Thread

Why do we need human mathematicians anymore?

293 points · 384 comments · auggierose

  1. Planktonne · · focus · HN ↗
    Everyone involved in AI should have read The Library of Babel [1].

    It's about many things, but perhaps the most relevant idea here is that no information matters without understanding. We could generate all possible knowledge, but unless someone--a human--can verify and understand it, it doesn't count. The cure for mortality could be written on the moon, but if no one reads it, it hasn't really been discovered.

    [1] <a href="https:&#x2F;&#x2F;maskofreason.wordpress.com&#x2F;wp-content&#x2F;uploads&#x2F;2011&#x2F;02&#x2F;the-library-of-babel-by-jorge-luis-borges.pdf" rel="nofollow">https:&#x2F;&#x2F;maskofreason.wordpress.com&#x2F;wp-content&#x2F;uploads&#x2F;2011&#x2F;0...

    1. looofooo0 · · focus · HN ↗
      But we have pretty good understanding of the logical foundations and the truth of computer generated math. So having a big library which humans could never produce or fully understand has still a value on its own. It is just another level of abstraction.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.