Ten years after AlphaGo’s match against Go champion Lee Sedol, today’s AI still isn’t tapping into the machinery that made that win possible.

44 points•leopoldj•about 4 hours ago•57 comments•

57 comments

f6vabout 3 hours ago
> Knowledge and reasoning are inextricably interwoven in the weights of the neural network—there is no independent, explicitly represented set of beliefs.

I'm not sure I understand this. Do we have evidence humans have an independent set of beliefs not shaped by knowledge and reasoning? If so, where do these come from?

I'm especially confused about a prior statement as a scientist:

> Three shortcomings prevent what chatbots do from qualifying as reasoning (in a way that a scientist might recognize).

How does a set of beliefs help with reasoning?

> Third, while the chains of thought chatbots produce look like deliberation, research has demonstrated that the bots often concoct them after the fact, reaching an answer by one route but reporting another.

We also often do the same as humans.

leopoldjabout 3 hours ago
Philosophers like Kant, Descartes and Locke wanted to draw a distinction between a priori and a posteriori beliefs (or knowledge). I believe AI will be very much bound by these discussions. Some knowledge can be had purely by reason. Some other knowledge will require observations.
nateb2022about 2 hours ago
Consider a calculator, a machine capable of valid transformations wrt the semantics of arithmetic.

Does a calculator reason its way to 2 + 2 = 4? No, it merely transforms.

An LLM is simply a much more complex version of this; except that its complexity hides a lot of what is otherwise reducible to a transformation of semantic, conceptual, and inferential relations. There are lots of NLP models prior to the introduction of modern "AI" that would make these representations more clear.

However I don't believe any of the aforementioned philosophers would ever consider reason itself as a transformation, as Kant especially spent a lot of time differentiating apprehension from transition.

f6vabout 3 hours ago
Well, yeah, I understand there're all kinds of theories about this. That wasn't my question though.
nateb2022about 3 hours ago
> Knowledge and reasoning are inextricably interwoven in the weights of the neural network—there is no independent, explicitly represented set of beliefs.

I think an analogy would be helpful. As an LLM, reasoning through text, you wouldn't 'know' the idea of a man separately from, posterior to, the words man in say, French and English. As a human, you WOULD know the idea of man, and you would mean that idea when you say the French or English words for man.

For an LLM, although its approximation of knowledge would lead it to claim it knows they're the same thing, there would be differences in its weights that influence its usage of both the French and English words for man, and which may lead it to conclusions in one language it wouldn't reach in another. Because its knowledge/reasoning is interwoven to its knowledge, not prior to it.

> How does a set of beliefs help with reasoning?

You cannot have a syllogism without propositions.

Kim_Bruningabout 2 hours ago
Because he's writing about epistemologies: Sets of rules for reasoning over beliefs.

In such systems, a belief is a proposition you accept as true. (provisionally at least)

For example as a scientist, you probably use the epistemology called empiricism all day. In empiricism, beliefs are justified by observation.

MisterMunchkinabout 3 hours ago
In a human brain it can reason regardless of what you personally know. In an LLM, the knowledge and the structure are the same thing. It doesn’t have separate knowledge parts and processing parts, it’s all one network. If you delete the part about cats, it can’t think at all anymore. Whereas a human could lose all their memories and still be capable of thinking.
brainwadabout 2 hours ago
How can you know that, when every human who reasons knows a lot? We spend years in a pre-rational state, and by the time we can reason reliably we have ingested a huge amount of evidence about the world. Memories are just a snippet of what you learn by observation; you don't have a memory of gravity but you do have an internalised model of gravity derived from what you learnt as a baby.
imightbebatmanabout 2 hours ago
Yea.

I think a better argument for them not reasoning is that they are incapable -- seemingly, for now, that I know of -- of independently starting a reasoning task.

They do not ask whether or not they dream of electric sheep. Unless prompted to do so.

That's part of human reasoning, being prompted, but so is independent thought.

So at best they are partially reasoning, unless we philosophically argue these are two separate things. And frankly, shrug, I'm not a philosopher.

pants2about 2 hours ago
In the early reasoning models the chain of thought would often drift off into other topics, almost like a daydreaming. This behavior is undesirable so that's been RL'd away, but I do think this is something we could evoke from models. It's just difficult to contend with from an eval perspective.
cmiles8about 3 hours ago
Humans have an inherent flaw in that our brains are wired to see intelligence and reasoning where there is none. Our brains fill in data that simply isn’t there.

Folks see Jesus in burnt toast. Monet was a master of exploiting this where what’s really just blotches of color our brains fill into beautifully detailed images.

Our experience with LLMs is no different. Folks believe there is some deeper intelligence there but it’s all still just 1s and 0s on a computer chip. We’re interpreting things happening that simply are not happening.

WarmWashabout 3 hours ago
The brain is just ones and zeros on salty mush.

You either have to accept that the brain can be described with math (like everything else we have ever known in the universe), or that there is a supernatural phenomenon that exists in the brain.

This is an inescapable conclusion that boils down to "Do you believe magic is real or not?"

Magic is real and you can have your unique special human intelligence.

Magic is not real, and the brain is just another computer crunching numbers.

kerblangabout 3 hours ago
I think it's been pretty well demonstrated by neuroscientists that the brain is not a binary computer. That doesn't mean that those scientists erred on behalf of supernatural religion or anything like that.
kazinatorabout 2 hours ago
Maybe the brain is just another computer crunching numbers, but with real epistemic representations, rather than just predicting a token, based on a corpus of syntax.
esalmanabout 3 hours ago
Brain is not just ones and zeros, it can be viewed as combination of infinite quantum states.
zeven7about 1 hour ago
Does it matter if "intelligence and reasoning" are there if what they produce is indistinguishable (or outmatches) what a human could produce?

You only have your own experience to judge that you are even reasoning. You assume others have similar experience and so reason like you because they are able to do all the things that you do - and they look human like you. We can't prove there's a there there in other humans. What happens when the robots are doing everything humans do? What happens when they tell us they are reasoning, when they say they have an internal experience? Maybe there's nothing there, but you can't prove it. Moreover, it's likely they'll be able to affect the world and you in most of the same ways as humans can, whether there's a there there or not.

hylarideabout 3 hours ago
I can give Monet a pass as he probably didn't fully understand WHY it happened and it was just art, but the way tech companies exploit our brains (algorithmic dopamine hits, LLMs, etc) is pure insidiousness. The fact they act like victims when the backlashes come is what really grinds me.
kazinatorabout 3 hours ago
Folks see AI seeing Jesus in burnt toast, and then admit it as one of the folks. :)
exitbabout 3 hours ago
How do you know it’s not when looking into the mirror, that we see Jesus in burnt toast?
reliablereasonabout 3 hours ago
Dont be fooled. Reasoning does not happen in the prediction of the next token, it happens virtually in the text that is created.

The next token prediction is just "the hardware" following the underlying rules. Like the basic set of rules.. in a sense similar to how the "game of life" does not really contain gliders. Gliders are just a self stabilised system that arrises from the simple rules.

qarlabout 3 hours ago
Emergent behavior in otherwise simple rulesets.

Kind of like how a brain is just a bag of molecules. Molecules can't reason either.

WhyIsItAlwaysHNabout 3 hours ago
This is trivially false, the text gets transformed into activations for the weights. If there is reasoning it's in the connection pattern of the weights.

The fact that the output produces one token at a time does not mean that the LLM's internal state is processing just the next token

lstoddabout 3 hours ago
I think the question is if the "rules" however captured can express reasoning.

My position is that it is not possible.

reliablereasonabout 2 hours ago
When i look at the things said by LLMs i clearly see stuff that i would call reasoning.

Its reasoning does however have certain "bugs" that a humans reasoning would never have.

My guess is that much of those bugs appear cause the reasoning that a LLM does is not itself built on a self stabilised system. In humans you get coupling between levels of self stability which acts as a constraint, stabilising the system even more. The next level being predictive coding modelling the world. There is no next level in a LLM; they are trained as refiners in teacher forcing mode, a paradigm where self stabilisation is not a driving factor.

qarlabout 3 hours ago
Do you agree that an LLM in a harness is Turing complete?

Seems so to me.

So explain then what you mean by "not possible".

vmg12about 3 hours ago
People should read the article instead of responding with what they believe to be clever quips. The article's author gives a very good argument for why what LLMs are doing in their chain of thought is not reasoning.
Chinjutabout 3 hours ago
Yes, and keep in mind also the article author is chair of machine learning at University College London and was a core member of the AlphaGo team at DeepMind.
WarmWashabout 3 hours ago
Although they don't mention anything, the authors website seems like they are tee'ing up for a new start-up. They present their future ambitions (merging two technologies they know well) and that they recently left deepmind, so it at least smells a lot like laying groundwork for a new start-up.
pixl97about 3 hours ago
This said, just because it's an argument from authority doesn't necessarily mean it's a good argument. You'll have to read and break down the arguments and weight them against other arguments and the body of knowledge we have.

If argument from authority was valid in itself, then LeCun would have killed LLMs like 300 different times now, and yet keeps being wrong.

coreyh14444about 3 hours ago
Jet planes don't fly by flapping their wings...
infamiaabout 3 hours ago
And a magician making a coin "disappear" doesn't mean that magic is real. I see no way we can call it thinking without a goal (other than computing the next token).
hollowturtleabout 3 hours ago
Birds don't fly by producing thrust out of their asses... what the heck that comparison does even mean?
filolegabout 3 hours ago
You are almost there in terms of getting their point, so I will explain.

Birds existed since forever ago in nature, and they fly by flapping their wings. Then planes got invented, and they fly using a very different mechanism (that doesn't involve flapping wings).

The point made by the grandparent comment: saying "LLMs don't actually reason, because the underlying mechanism they use is different from how humans reason" feels about the same as "planes don't actually fly, because the underlying mechanism they use is different from how birds fly".

strbeanabout 3 hours ago
Comparisons to how humans reason beg the question: is the way humans do it the only way?

Lots if these arguments are similar to birds saying "Jets don't flap their wings so they aren't even flying."

The arguments about reasoning are even shakier because they usually rely on totally unproven assertions about human reasoning. At least we know birds flap their wings.

sh-runabout 3 hours ago
Copying biological systems isn’t always the best way to build machines. The article compares AlphaGo’s policy network and value network to system 1 and system 2 thinking in humans.
rtrgrdabout 3 hours ago
Reading charitably: just because our inventions do something different to nature doesn't mean that our invention is wrong;

In context: just because our LLMs don't have an explicit 'system 2' component doesnt mean it can't have superhuman reasoning

2snakesabout 2 hours ago
Human Technology appears to use different principles than nature oftentimes

Read the full thread on Hacker News →

Related stories