1071
Bernie Sanders proposes 20 year prison sentence for AI devs who plow ahead with Artificial Superintelligence plans - penalty on par with illegally developing rogue nuclear weapons (www.tomshardware.com)
submitted 1 day ago by to c/technology@lemmy.world
164 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] -4 points 1 day ago (9 children)

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.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 9 child comments
    •
  • [–] 9 points 1 day ago* (last edited 1 day ago) (8 children)

    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?

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 8 child comments
    •
  • [+] -6 points 1 day ago (7 children)

    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.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 7 child comments
    •
  • [–] 3 points 1 day ago (5 children)

    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?

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 5 child comments
    •
  • [–] 1 point 1 day ago* (last edited 1 day ago) (4 children)

    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.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 4 child comments
    •
  • [–] 4 points 1 day ago* (last edited 1 day ago) (3 children)

    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.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 3 child comments
    •
  • [–] -1 points 1 day ago* (2 children)

    I never said or implied that it's useless. You're deriving meaning where there is none. It's a tool and tools are always useful. Here's an example of a supercomputer (not AI) designed to solve unresolved mathematical equations and scientific problems

    Same idea, doesn't need AI to do it.

    My point was, and is, that it cannot replicate human intelligence and that it doesn't have intelligence on its own.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 2 child comments
    •
  • [–] 2 points 1 day ago (1 child)

    Give an example of a problem a human can solve that an llm could not, then.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 1 child comment
    •
  • [–] 1 point 1 day 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).

  • permalink
  • fedilink
  • source
  • parent