They dont. They have input that runs through a invisible stochastic canyon. As long as there is previous experience the stochastic canyon never ends. If there is none or isignificant one, or it runs out of tokkens, it hallucinates and the illusion falls apart. There is no reasoning, just the invisible grand canyon of all of human experience and knowledge. PS: try to get it to retell you a clichee movie or book and you can see life near the end, how the delta of all the same movies opens up into wildly different endings.<p>To advance further it would need the ability to abstract away the general situation shape and pattern recognize similar situations.
Compression is the trick. Its even philosophed about if compression = intelligence.<p>The LLM has to compress everyy question/prompt into its system. It does so by creating rules and ways of processing data (this can lead to AGI, world models or an architecture of sub architectures like an LLM + something else). So if it should respond in a way that only reasoning people can achieve, it might be able to learn a representation of what we call reasoning.<p>It read enough text in itself to even know about the concept of reasoning and how you would do that.<p>Even if this is only stochastic, it shouldn't be so devalued as your comment comes across.<p>Who says that we are doing anything more magic?
When a mathematician reads a hundred-year-old math paper, they are reproducing in their head the reasoning of someone who died long ago. That is, reasoning can be written down and replicated.<p>If that works, I think it's fair to say that LLM's are inanimate processes that can generate real reasoning. You can tell when you read it and it makes sense.<p>There are likely some kinds of reasoning that can't be written down, as well as other forms of understanding, but they also don't replicate nearly as easily.
It's probably helpful in this discussion to make a difference between two definitions of reasoning:<p>1. phenomenal reasoning, requiring consciousness and subjective experience<p>2. functional reasoning, transforming premises into conclusions using logic<p>I think you are attacking this using definition 1, whereas the article is obviously aiming at a different type of reasoning, and trying to formalize what is actually going on. It seems to be a genuine effort.
><i>1. phenomenal reasoning, requiring consciousness and subjective experience</i><p>I think it is incumbent upon anyone arguing that something does not posses any given property to provide a non-circular definition of what it is that they are declaring an absence of.<p>All of the descriptions of experiential reasoning are usually defined in terms of rephrasing of the claim "true understanding", "conscious", "aware", "knowing" all hinge on a synonymous aspect of the words that try and shift the responsibly of explanation to the next term used in a cyclic manner.<p>For the weaker sense of reasoning, there simply isn't any argument that it is not happening. A calculator can perform the weaker sense. The analysis of this aspect of LLMs is purely a question of how, not what.
With that definition, computers don't play chess, they just move the pieces using some weights and backtracking.
Stochastic gradient descent can be likened to traveling down a billion-dimensional canyon. But inference? Hardly.
It’s curious how they solve unsolved math problems without reasoning. Maybe I have a different definition of reasoning than you.
Jury is still out on this one.<p>This needs to be routine to be given asevidence…<p>…Unless you know exactly how the llm was trained and then how it was applied
Guess what? SAT solvers have also solved unsolved math problems. Do you believe they are “reasoning”?
SAT solvers are programs designed such that their execution corresponds to the reasoning process of satisfying some given constraints. But they do not <i>contain</i> the reasoning process, rather they embody it.<p>LLMs are different in that they operate on semantic features of program state. Embedding vectors assign semantic features to syntactical structures of the vector space. Operations on these syntactical structures allow the LLM to engage with semantic features of program state directly. Here the reasoning process is contained within as an object of manipulation. An LLM sensitive to the semantic features of the input sequence and that examines the logically permissible moves to derive a new sequence closer to the intended sequence (some statement to prove) just is engaging in reasoning.
The question of whether a SAT solver can reason is about as interesting as the question of whether a submarine can swim. (EWD867, EWD898)
I think you are missing the point of that statement<p>It is a claim that swimming is a word that defines a context. It is an explicit statement that the question of whether a submarine can swim has nothing to do with the capability of the submarine.<p>If you are asking which pigeon hole we are putting something into, the answer is "The one we put it into". This is what make the question uninteresting.<p>If you are asking what is it about this pigeon hole that people value and does that align with the criteria that people use to decide categorisation. That very much is an interesting and complicated question.
The statement takes meaning-as-use as a given, sure, but I think the <i>point</i> of the statement is that people are arguing over an uninteresting question / taking meaningless positions about a meaningless issue, rather than "hey, words are moves in a language game!". I referenced two EWDs, which provide the original statements in context (though I can't find the widely-quoted wording anywhere: I thought I remembered it being in EWD1035, but apparently not). If you think my understanding of what Dijkstra meant was wrong, could you explain further, please?
There is a streamer who plays Diablo 2 by listening to the AI advice and it is quite funny since it is pretty clear that most of the advice is an amalgamation of random, often incorrect advicem<p>I wonder if it is the same for programming or not, but I vibe coded an android app just to see if I can and it just works. It required a lot of "build the code and correct the errors" pushing though.
For example requested code in kotlin but received something else.
i love how anthropic puts out some bs like this every few weeks 'we saw some red bridge lights blinking in model weights when someone mentions sfo. Arent they just like us?"