Live data from Hacker News

AGI is Mathematically Impossible 2: When Entropy Returns

philarchive.org

391–400 of 437 posts

Re: AGI is Mathematically Impossible 2: When Entropy Returns

#391

Earlier quoted context omitted.

George Hinton the person largely responsible about the AI revolution has this to say: https://www.reddit.com/r/singularity/comments/1lbbg0x/geoffr... https://youtu.be/qrvK_KuIeJk?t=284 In that video above George Hinton, directly says we don't understand how it works. So I don't speak just for myself. I speak for the person who ushered in the AI revolution, I speak for Experts in the field who know what they're talkin…

"In that video above George Hinton, directly says we don't understand how it works." That isn't what Hinton said in the first link. He says essentially: People don't understand A so they think B. But actually the truth is C. This folksy turn of phrase is about a group of "people" who are less knowledgeable about the technology and have misconceptions. Maybe he said something more on point in the second link, but your…

Take a closer look at BOTH videos. Not just the first one. He literally says the words “don’t” and “understand” in reference to LLMs.

I watch a lot of video interviews on hinton I can assure you that “not understanding” is 100 percent his opinion both from the perspective of the actual events that occurred and as someone who knows his general stance from watching tons of interviews and videos about him.

So let me be frank with you. There are people smarter than you and more eminent than you who think you are utterly and completely wrong. Hinton is one of those people. Hopefully that can kick start the way you think into actually holding a more nuanced world view such that you realize that nobody really understands LLMs.

Half the claims on HN are borderline religious. Made up by people who unconsciously scaffold evidence to support the most convenient view.

If we understood AI completely and utterly we would be able to set those weights in a neural net into values that give us complete and total control over how the neural net behaves. This is literally our objective as human beings who created the neural net. We want to do this and we absolutely know that their exists a configuration of weights in reality that can help us achieve this goal that we want so much.

Why haven’t we just reached this goal? Because we literally don’t understand how to reach this goal even though we know it exists. We. Don’t. Understand. It is literally the only conclusion that follows given our limited ability to control LLMs. Any other conclusion is ludicrous and a sign that your logical thought process is not crystal clear.

Re: AGI is Mathematically Impossible 2: When Entropy Returns

#392
post #28

Earlier quoted context omitted.

> We don’t even know how LLMs work Speak for yourself. LLMs are a feedforward algorithm inferring static weights to create a tokenized response string. We can compare that pretty trivially to the dynamic relationship of neurons and synapses in the human brain. It's not similar, case closed. That's the extent of serious discussion that can be had comparing LLMs to human thought, with apologies to Chomsky et. al. It's…

Pretty sure in most other contexts you wouldn't agree a medieval scribe knows how a fax machine works.

Analogies aren’t proof. Like if an analogy doesn’t apply in certain context it is not a reflection of the actual situation. It just means the analogy is bad and irrelevant.

Often people who don’t know how to be logical end up using analogies as proof. And you can simply say that the analogy doesn’t apply and is inaccurate and the whole argument becomes garbage because analogies aren’t logical basis for anything.

Analogies are communication cools to facilitate easier understanding they are not proofs or evidence of anything.

Re: AGI is Mathematically Impossible 2: When Entropy Returns

#393
post #229

Earlier quoted context omitted.

I'm not sure if this will help, but happy to elaborate further: The set of Turing computable functions is computationally equivalent to the lambda calculus, is computationally equivalent to the generally recursive functions. You don't need to understand those terms, only to know that these functions define the set of functions we believe to include all computable functions . (There are functions that we know to not b…

What program would a Turing machine run to spontaneously prove the incompleteness theorem? Can you prove such a program may exist?

Given what I see in these discussions, I suspect your use of the word "spontaneously" is a critical issue for you, but also not for me.

None of us exist in a vacuum*, we all react to things around us, and this is how we come to ask questions such as those that led Gödel to the incompleteness theorems.

On the other hand, for "can a program prove it?", this might? I don't know enough Lean (or this level of formal mathematics) myself to tell if this is a complete proof or a WIP: https://github.com/FormalizedFormalLogic/Incompleteness/blob...

* unless we're Boltzmann brains, in which case we have probably hallucinated the existence of the question in addition to all evidence leading to our answer

Re: AGI is Mathematically Impossible 2: When Entropy Returns

#394
post #389
post #388

Earlier quoted context omitted.

"Food" is only analogous to "mains power" for devices which also have a battery. But regarding hunger: while they are a weird and pathological example, breatharians are in fact mammals, and the result of the absence of food is sometimes "starves to death" and not always "changes mind about this whole breatharian thing" or "pathological dishonesty about calorie content of digestive biscuits dunked in tea".

Right, so you agree that there is a clear difference between a mammal and the device we're discussing. I'm not sure why introducing a certain type of rare scam artist into the modeling of this thought experiment would make things clearer or more interesting.

> Right, so you agree that there is a clear difference between a mammal and the device we're discussing.

A difference that you have not demonstrated the relevance of.

If I run an AI on my laptop and unplug the charger, this runs until the battery dies. If I have a mammal that does not eat, it lives until it starves.

If I run an AI on a desktop and unplug the mains, it ceases function in milliseconds (or however long the biggest capacitor in the PSU lasts). If I (for the sake of argument) had a device that could instantly remove all the ATP from a mammal's body, they'd also be dead pretty quick.

If I have an android, purely electric motors and no hydraulics, and the battery connector comes loose, it ragdolls. Same for a human who has a heart attack.

An AI that is trained with rewards for collecting energy to recharge itself, does so. One that has no such feedback, doesn't. Most mammals have such a mechanism from evolution, but there are exceptions where that signal is missing (not just weird humans), and they starve.

None of these things say anything about intelligence.

> I'm not sure why introducing a certain type of rare scam artist into the modeling of this thought experiment would make things clearer or more interesting.

Because you're talking about the effect of mammals ceasing the consumption of food, and they're an example of mammals ceasing the consumption of food.

Re: AGI is Mathematically Impossible 2: When Entropy Returns

#395
post #385

Earlier quoted context omitted.

I don't see the relevance of things that carry their own power supply either, and I still disagree that Conway automata and similar software exhibit autonomy. I did not mention "free will and perfect independence".

You also carry your own power supply... I could go into more details, but basically you tried to call out some weird use of "autonomous" when I'm using the meaning that's an industry standard. If you mean something else, you'll need to define it. Saying you can't be autonomous under someone's rules brings a serious number of issues to address, before you get to anything AI related.

Well, I disagree that computers exhibit intelligence and according to "industry standard" they do so in my view that does not carry any weight on its own.

Autonomy implies self-governance, not just any form of automaton.

Re: AGI is Mathematically Impossible 2: When Entropy Returns

#396
post #394
post #389

Earlier quoted context omitted.

Right, so you agree that there is a clear difference between a mammal and the device we're discussing. I'm not sure why introducing a certain type of rare scam artist into the modeling of this thought experiment would make things clearer or more interesting.

> Right, so you agree that there is a clear difference between a mammal and the device we're discussing. A difference that you have not demonstrated the relevance of. If I run an AI on my laptop and unplug the charger, this runs until the battery dies. If I have a mammal that does not eat, it lives until it starves. If I run an AI on a desktop and unplug the mains, it ceases function in milliseconds (or however long…

This is not about intelligence, it's about autonomy. Your laptop does not exhibit autonomy, it is a machine slave. It is not embodied and it does not have the ability for self-governance.

It is somewhat disconcerting that there are people that feel that they could be constrained into living like automatons and still have autonomy, and viciously defend the position that a dead computing device actually has the freedom of autonomy.

Re: AGI is Mathematically Impossible 2: When Entropy Returns

#397
post #145

Earlier quoted context omitted.

I don't see how it will convince anyone: people said as much before chess, then again about Go, and are still currently disagreeing with each other if LLMs do or don't pass the Turing test. Irregardless, this was to demonstrate by analogy that things that seem simple can actually be really hard to fully understand.

I have never once heard someone describe Stockfish as potentially AGI. Honestly I don't remember anyone making the argument with AlphaGo or even IBM Watson, either.

Go back further than Stockfish — I said "people said as much before chess", as in Deep Blue versus Garry Kasparov.

Here's a quote of a translation of a quote, from the loser, about 8 years before he lost:

"""In 1989 Garry Kasparov offered some comments on chess computers in an interview with Thierry Paunin on pages 4-5 of issue 55 of Jeux & Stratégie (our translation from the French):

‘Question: ... Two top grandmasters have gone down to chess computers: Portisch against “Leonardo” and Larsen against “Deep Thought”. It is well known that you have strong views on this subject. Will a computer be world champion, one day ...?

Kasparov: Ridiculous! A machine will always remain a machine, that is to say a tool to help the player work and prepare. Never shall I be beaten by a machine! Never will a program be invented which surpasses human intelligence. And when I say intelligence, I also mean intuition and imagination. Can you see a machine writing a novel or poetry? Better still, can you imagine a machine conducting this interview instead of you? With me replying to its questions?’"""

- https://www.chesshistory.com/winter/extra/computers.html

So while it's easy for me to say today "chess != AGI", before there was an AI that could win at chess, the world's best chess player conflated being good at chess with several (all?) other things smart humans can do.

Re: AGI is Mathematically Impossible 2: When Entropy Returns

#398
post #396
post #394

Earlier quoted context omitted.

> Right, so you agree that there is a clear difference between a mammal and the device we're discussing. A difference that you have not demonstrated the relevance of. If I run an AI on my laptop and unplug the charger, this runs until the battery dies. If I have a mammal that does not eat, it lives until it starves. If I run an AI on a desktop and unplug the mains, it ceases function in milliseconds (or however long…

This is not about intelligence, it's about autonomy. Your laptop does not exhibit autonomy, it is a machine slave. It is not embodied and it does not have the ability for self-governance. It is somewhat disconcerting that there are people that feel that they could be constrained into living like automatons and still have autonomy, and viciously defend the position that a dead computing device actually has the freedom…

> This is not about intelligence, it's about autonomy.

OK. Then why bring up physical autonomy in a discussion about AGI where the prior use was "autonomy" in the context of "autonomously seek information themselves"?

> Your laptop does not exhibit autonomy, it is a machine slave. It is not embodied and it does not have the ability for self-governance.

Is the AI running on my laptop, more or less of a slave, than I am a slave to the laws of physics, which determine the chemical reactions in my brain and thus my responses to caffeine, sleep deprivation, loud music, and potentially (I've not been tested) flashing lights?

And why did either of us, you and I, respond to each other's comments when they're just a pattern of light on a display (or pressure waves on your ear, if you're using TTS)?

What exactly is "self-governance"? Be precise here: I am not a sovereign, and the people who call themselves "sovereign citizens" tend to end up very surprised by courts ignoring their claims of self-governance and imprisoning or fining them anyway.

But also, re autonomy:

1. I did mention androids — those do exist, the category is broader than Musk vapourware, film props, and Brent Spiner in face paint.

2. Did Stephen Hawking have autonomy? He could get information when he requested it, but ever decreasing motor control over his body. That sounds very much like what LLMs do these days.

If he did not have autonomy, why does autonomy matter?

If he did have autonomy, specifically due to the ability to get information on request which is what LLMs do now, then what separates that specifically from what is demonstrated by LLMs accessing the internet from a web search?

If he did have autonomy, but only because of the wheelchair and carers who would take him places, then what separates that specifically from even the silly toy demonstrations where someone puts an LLM in charge of a Boston Dynamics "Spot", or even one of those tiny DIY Arduino rolling robot kits?

The answer "is alive" is not the same as "autonomous".

The answer "has feelings" leads to a long-standing philosophical problem that is not only not solved, but people don't agree on what the question is asking, and also unclear why it would matter* for any of the definitions I've heard.

The answer "free will" is, even in humans, either provably false or ill-defined to the point of meaninglessness. For example "just now I used free will to drink some coffee", but if I examine my physical state closely, I expect to find one part of my brain had formed a habit, and potentially another which had responded to a signal within my body saying "thirsty" — but such things are mechanistic (thirst in particular can be modified very easily with a variety of common substances besides water), and fMRI scans show that our brains generate decisions like these before our conscious minds report the feeling of having decided.

* at least, why it would matter on this topic; for questions where there is a moral subject who may be harmed by the answer to that question, "has feelings" is to me the primary question.

Re: AGI is Mathematically Impossible 2: When Entropy Returns

#399

Earlier quoted context omitted.

"In that video above George Hinton, directly says we don't understand how it works." That isn't what Hinton said in the first link. He says essentially: People don't understand A so they think B. But actually the truth is C. This folksy turn of phrase is about a group of "people" who are less knowledgeable about the technology and have misconceptions. Maybe he said something more on point in the second link, but your…

Take a closer look at BOTH videos. Not just the first one. He literally says the words “don’t” and “understand” in reference to LLMs. I watch a lot of video interviews on hinton I can assure you that “not understanding” is 100 percent his opinion both from the perspective of the actual events that occurred and as someone who knows his general stance from watching tons of interviews and videos about him. So let me be…

I'm not going to waste my time clicking a second video link but if Gemini can be believed he said "we don't know exactly how they work" which somehow became

"We don’t even know how LLMs work. "

In your retelling, an exaggeration which rightfully led to pushback.

Aside from that I don't know what conversation you think we are having.

Re: AGI is Mathematically Impossible 2: When Entropy Returns

#400
This is a question I've wondered for awhile. What are we saying when we say AGI? For it to make "generalized" reasoning it would need to also think like a human. This is where the quest for AGI fundamentally falls apart for me.

Before I continue, I just want to say that I LOVE working with AI. I use it for everything. Naturally, I began to wonder about the nature of intelligence. This led me to sentience. And of course you begin to reference the bodies of scifi work addressing consciousness and machine sentience.

I think for AGI to be a thing, it would need to not only need to be this massive multi modal machine, but also a machine with self-motivation. I think this is the key. Right now all AI requires input from a human to even do anything. It requires instructions (prompts).

When AI begins to self-prompt because it has its own desires outside of a human catalyzing it, and not only that, it speaks about its experiences as an AI -- I will then say that is probably AGI. But if we reach that point, we are in deeper ethical territories of do we get to "own" this sentient machine?

Post reply on HN