Live data from Hacker News

LLMs don't do formal reasoning

garymarcus.substack.com

51–60 of 128 posts

Re: LLMs don't do formal reasoning

#51
Tool use is the measure of intelligence. Terence Tao can use this tool for mathematics.

When Google came out, search engines were suddenly more useful. But there were a bunch of people talking about how “Not everything they find is right” and how “that is a huge problem”.

Then for two decades, people used search highly successfully. Fascinating thing. Tool use.

Re: LLMs don't do formal reasoning

#52

One of the things that kinda illustrate this for me, is that an LLM always uses the same time to process a prompt of the same length. No matter how complicated the problem is. Obviously the complexity of the problem is not actually taken into account.

Wait what ? Is that real?

We really really really need to disambiguate the LLM, which is a fixed length, fixed compute time process which takes in an input and produces a token distribution, from the AI system, which takes the output of the LLM and eventually produces something for the user.

In this case, all LLMs are fixed-length, but not all AI systems are. An LLM on its own is useless. Current SoTA research includes inserting 'pause' tokens. This is something that, when combined with an AI system that understands these, would enable variable time 'thinking'.

Re: LLMs don't do formal reasoning

#53
At one point the goal posts was the Turing test. That’s long since been passed, and we aren’t satisfied.

Then goal posts were moved to logical reasoning such as the Winograd Schemas. Then that wasn’t enough.

In fact, it’s abundantly clear we won’t be satisfied until we’ve completely destroyed human intelligence as superior.

The current goal post is LLMs must do everything better than humans or it’s not AGI. If there is one thing it does worse, people will cite it as just a stochastic parrot. That’s a complete fallacy.

Of course we dare not compare LLMs to the worse case human - because LLMs would be AGI compared to that.

We compare LLMs to the best human in every category - unfairly.

With LLMs it’s been abundantly clear - there is not a line where something is intelligent or not. There’s only shades of gray and eventually we call it black.

There will always be differences between LLM capabilities and humans - different architectures and different training. However it’s very clear that a process that takes huge amounts of data and processes it whether a brain or LLM come up with similar results.

Someone should up with a definition of intelligence that excludes all LLMs and includes all humans.

Also while you are at it, disprove humans do more than what ChatGPT does - aka probabilistic word generation.

I’ll wait.

Until then, as ChatGPT blows past what was science fiction 5 years ago, maybe these arguments aren’t great?

Also - name one thing we have the data for that we haven’t been able to produce a neural network capable of performing that task?

Human bodies have so many sensors it’s mind blowing. The data any human processes in one days simply blows LLMs out of the water.

Touch, taste, smell, hearing, etc…

That’s not to say if you could hook up a hypothetical neural network to a human body, that we couldn’t do the same.

Re: LLMs don't do formal reasoning

#54

I am not sure who the target audience of Gary Marcus is. Those who know about LLMs are aware that they do not reason, but also know it not very useful to repeat it over and over again and focus on other aspects of research. Those who don't know about LLMs simply learn to use them in a way that's useful in their life.

I dunno. There have been 3 comments claiming they do reason on this page alone.

I doubt experts need to be reminded, but maybe non-experts need to see that incorrectness exposed, otherwise they'll get mislead.

Re: LLMs don't do formal reasoning

#56
post #5

This trope of proclaiming some critical flaw in the functioning of LLMs with the implication that they therefore should not be used is getting boring. LLMs are far from perfect but they can be a very useful tool that, used well, can add significant value in spite of their flaws. Large numbers of people and businesses are extracting huge value from the use of LLMs every single day. Some people are building what will b…

> Large numbers of people and businesses are extracting huge value from the use of LLMs every single day

No they aren't. If they really did we would see those number in qtrly reports.

Re: LLMs don't do formal reasoning

#58

Getting tired of seeing this guy's bad arguments get signal boosted. I posted this comment on another LLM thread on the front page today, and I'll just repost it here: LLMs aren't totally out of scope of mathematical reasoning. LLMs roughly do two things, move data around, and recognize patterns. Reasoning leans heavily on moving data around according to context-sensitive rules. This is well within the scope of LLMs.…

>The problem is that general problem solving requires potentially arbitrary amounts of moving data

Can you expand on this thought?

Re: LLMs don't do formal reasoning

#59

I am not sure who the target audience of Gary Marcus is. Those who know about LLMs are aware that they do not reason, but also know it not very useful to repeat it over and over again and focus on other aspects of research. Those who don't know about LLMs simply learn to use them in a way that's useful in their life.

He is coming from the perspective of a long-running debate on symbolic versus statistical/data-driven approaches to modeling language structure and use. It seems in recent years he has had trouble coming to terms with the fact that at least for real-world applications of language technology, the statistical approach has simply won the war (or at worst, forms the core foundation on top of which symbolic approaches can have some utility).

I come from the same academic tradition, and have colleagues in common with him. He has been advocating for a quasi-chomskyan perspective on language science for many years -- as have many others working at the intersection of linguistics and psychology/cog sci.

TBH I suspect he himself is a large part of his target audience. A lot of older school academics raised in the symbolic tradition are pretty unsettled by the incredible achievements of the data-driven approach.

Personally I saw the writing on the wall years ago and have transitioned to working in statistical NLP (or "AI" I suppose). Feeling pretty good about that decision these days.

FWIW I do think symbolic approaches will start to shine in the next several years, as a way to control the behavior of modern statistical LMs. But doubtful they will ever produce anything comparable to current systems without a strong base model trained on troves of data.

edit: Worth noting that Marcus has produced plenty of high-quality research in his career. I think his main problem here is that he seems to believe that AI systems should function analogously to how human language/cognition functions. But from an engineering/product perspective, how a system works is just not that important compared to how well it works. There's probably a performance ceiling for purely statistical models, and it seems likely that some form of symbolic machinery can raise that ceiling a bit. Techniques that work will eventually make their way into products, no matter which intellectual tradition they come from. But framing things in this way is just not his style.

Re: LLMs don't do formal reasoning

#60

They’re arguing since it’s not close to perfect, it’s not useful? Seems like a straw man.

I don't think that's the point of the article, happy to read the reasoning used to get to that conclusion.

To me the point is not concerned with usefulness, is with reliability. You could get correct answers out of the agent, but how often do you get correct data versus gibberish? It's an extremely important metric to consider, and it's the same reason you wouldn't hop into a self-driving car in the real world if it can drive flawlessly in a straight line, but once every three intersections turns the wrong way.

Post reply on HN