‹ BackHN Continuity

Thread

I vibed a proof of Conway's conjecture

271 points · 297 comments · m-hodges

  1. nialv7 · · focus · HN ↗
    I don't know why the author could claim this is "their" proof, and they kept saying "they" did this, "they" built that. but in reality everything is done by the LLM and the author is merely asking it to do things. i guess they did contribute money at least...

    > Me: btw how’s your mood overall?

    LOL. mood??

    1. nozzlegear · · focus · HN ↗
      I don't understand your comment. At first it seems like you think the LLM should get credit for the work. But then you mock the author for asking about the LLM's mood, which makes me think you believe the LLM is just a tool and not capable of receiving credit (FWIW I would agree.)
      1. GPerson · · focus · HN ↗
        You’re conflating two ways of understanding “credit”. One version is what the tool gets, an honest description that the tool solved it. The other is a concept used in the math community to divvy up job opportunities.
        1. unified101 · · focus · HN ↗
          Jobs will come and go. I'ts their nature. What makes you treat job over pursuit of knowledge. It is lowly and unbecoming.
          1. GPerson · · focus · HN ↗
            There’s not going to be anyone to understand the pursued knowledge when this job gets killed off, which means you’re supporting the reduction of knowledge. That is what’s “unbecoming”.
            1. unified101 · · focus · HN ↗
              This job based pursuite of knowledge is impure. Drop it.
              1. GPerson · · focus · HN ↗
                [flagged]
                1. unified101 · · focus · HN ↗
                  I cheer for a path that opens up the future wider for knowledge.
                  1. GPerson · · focus · HN ↗
                    That knowledge won’t be accesible to people who haven’t trained in understanding mathematics. This is just a fact about the human mind. By killing off this profession you will be making it almost impossible for a large number of people to attain that.
        2. nozzlegear · · focus · HN ↗
          I don't think I am.
          1. GPerson · · focus · HN ↗
            Probably because you don’t actually know how the culture of mathematics maintains the capacity for humans to learn mathematics.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.