• kn0wmad1c@programming.dev
    link
    fedilink
    English
    arrow-up
    1
    arrow-down
    5
    ·
    8 hours ago

    Data centers use evaporative cooling, not closed loop. You can’t really scale up in a closed loop system. Evaporative utilizes a ton of water.

    As for point 3, supercomputers have been assisting with scientific problems for decades now. This isn’t new, just new tech applied. Your article is actually the best way to use AI, imo. It will be better at finding patterns in data than humans will ever be.

    But my point is to say would it have been able to discover that those math problems existed in the first place?

    No. The answer is no.

    • Communist@lemmy.frozeninferno.xyz
      link
      fedilink
      English
      arrow-up
      9
      arrow-down
      1
      ·
      edit-2
      7 hours ago

      Yes you can obviously use a closed loop system and scale up? it’s even becoming the standard? https://datacentremagazine.com/news/how-closed-loop-cooling-is-reshaping-data-centre-design

      That is a massive goalpost shift. You went from can’t do anything useful to couldn’t have discovered the problems in one step?

      Why does it even matter if it can’t discover the problems if it can solve them, exactly? And why could it solve the problems and not discover new ones?

      • kn0wmad1c@programming.dev
        link
        fedilink
        English
        arrow-up
        2
        arrow-down
        7
        ·
        7 hours ago

        Closed loop isn’t viable for data centers.

        Do me a favor and quote my original text where I said they can’t do anything useful. I’ll wait.

        • Bane_Killgrind@lemmy.dbzer0.com
          link
          fedilink
          English
          arrow-up
          3
          ·
          6 hours ago

          Closed loop isn’t cheaper for data centers.

          Ftfy. If it’s a penny more, which it is, corporations will do the less responsible “beholden to the shareholders” bullshit every time.

        • Communist@lemmy.frozeninferno.xyz
          link
          fedilink
          English
          arrow-up
          4
          arrow-down
          1
          ·
          7 hours ago

          It is derivative and cannot perform any necessary tasks that actually drive intelligence

          done.

          also, the closed loop point is just false read my article?

          • kn0wmad1c@programming.dev
            link
            fedilink
            English
            arrow-up
            1
            ·
            edit-2
            6 hours ago

            How do you get “it isn’t useful” out of that? If you have to extract a wild interpretation out of what (I thought) were pretty clear words, your argument isn’t as strong as you think it is.

            And yes, I read the article. It’s speculative for existing data centers, which are the problem. There’s no incentive for them to spend the money to switch to closed loop.

            New data centers aren’t incentivized to go that route either aside from the environmental impact. It would be nice if they were, though.

            • Communist@lemmy.frozeninferno.xyz
              link
              fedilink
              English
              arrow-up
              4
              ·
              edit-2
              6 hours ago

              It can perform necessary tasks that actually drive intelligence and isn’t derivative. See: those proofs.

              You’re essentially arguing that it’s useless and just moves data around, this isn’t true.

              You’re a little too caught up on that specific wording.

                  • ageedizzle@sh.itjust.works
                    link
                    fedilink
                    English
                    arrow-up
                    1
                    ·
                    1 hour ago

                    I’m not the guy you’re arguing with, but it will be interesting to see if/how LLMs deal with novel Gödel sentences in a way that is more than just mimicry. I’m sure there is a way to set this up that is mathematically rigourous.

                    The idea is that there are some statements which are true but unprovable in a formal system. Since LLMs run on a computer they are technically a formal system of sorts. So it will be interesting to see if they can pinpoint the true yet unprovable sentences. If they can it will lead to a lot of interesting questions about how exactly they know it’s true without “proving” it in some roundabout way.

                    I’m not doing this issue justice. A lot has been written on this by Roger Penrose (you don’t have to agree with his stance to appreciate that he’s touching on an interesting problem, here).