• givesomefucks@lemmy.world
      link
      fedilink
      English
      arrow-up
      6
      arrow-down
      1
      ·
      edit-2
      5 days ago

      I’m talking about models specialized at theorem proving.

      That’s not what the article is about or anyone is talking about…

      They’re talking about something much worse and you’re ignoring it and trying to get everyone to talk about something else.

      I don’t know why you’re doing, but I’m already doubting you’re going to stop. Either in this thread or any other place you want to shove an uninformed opinion about an unrelated topic.

      • wrinkle2409@lemmy.cafe
        link
        fedilink
        English
        arrow-up
        1
        arrow-down
        7
        ·
        5 days ago

        As I said in another reply there’s a paywall, so I just joined in with what I already knew, and I don’t think it is that far off topic to be considered an “unrelated topic” as I’m still taking about AI proving theorems.

        I don’t know why you’re doing

        Humans like to join in conversations about a topic they like from time to time. It’s a social thing, you should try it.

        • givesomefucks@lemmy.world
          link
          fedilink
          English
          arrow-up
          4
          arrow-down
          1
          ·
          5 days ago

          about a topic they like from time to time.

          That’s not what you did…

          You saw a headline, and replied to a comment that provided a non paywall link…

          Talking about something completely different than the article…

          And got kind of upset when the person tried clarify that you weren’t talking about the article.

          Maybe this will help:

          Imagine you and your friends are talking about Pokemon, and I walked up and started talking about Yugioh, then yelled at you and all your friends when they didn’t want to talk about Yugioh with me and instead continued your existing conversation.

          Hopefully that helps, I’ll never know. Because I have a feeling I’m not the first to try and you’ll do this again later.

          • wrinkle2409@lemmy.cafe
            link
            fedilink
            English
            arrow-up
            1
            arrow-down
            6
            ·
            5 days ago

            You sure like gaslighting and taking with ellipsis. I didn’t notice the link you posed was different than the title of the main article. Also, I don’t see why your analogy portrays my side as “yelling at you”, I think you’re feeling too threatened over a mishap. Your initial comment made me think you were assuming no AI can prove solved theorems on its own, which is why I joined to correct, I just wasn’t expecting to get here.