[warumdarum]

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.

To advance further it would need the ability to abstract away the general situation shape and pattern recognize similar situations.

[skybrian]

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.

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.

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.

[rvba]

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

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.

[mexicojalisco]

As somebody who uses Claude heavily and heavily plays D2R it’s clear he wasn’t using Claude opus…… maybe Haiku or something. Opus isn’t as brain dead as what was being displayed

[smokel]

It's probably helpful in this discussion to make a difference between two definitions of reasoning:

1. phenomenal reasoning, requiring consciousness and subjective experience

2. functional reasoning, transforming premises into conclusions using logic

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.

[Lerc]

>1. phenomenal reasoning, requiring consciousness and subjective experience

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.

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.

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.

[alchemist1e9]

It’s curious how they solve unsolved math problems without reasoning. Maybe I have a different definition of reasoning than you.

[emp17344]

Guess what? SAT solvers have also solved unsolved math problems. Do you believe they are “reasoning”?

[hackinthebochs]

SAT solvers are programs designed such that their execution corresponds to the reasoning process of satisfying some given constraints. But they do not contain the reasoning process, rather they embody it.

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.

[wizzwizz4]

The question of whether a SAT solver can reason is about as interesting as the question of whether a submarine can swim. (EWD867, EWD898)

[Lerc]

I think you are missing the point of that statement

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.

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.

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.

[wizzwizz4]

The statement takes meaning-as-use as a given, sure, but I think the point 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?

[Lerc]

I take your point that this seems to be the implication of what Dijkstra was getting at. But the term itself is not evocative for that reason. It resonates because people clearly don't think it is a meaningful question as to whether or not submarines swim because the term swim itself implies the categorisation I mentioned in my post above.

I do not know whether Dijkstra understood this distinction and was using it to disingenuously imply that the limitation was on the target and not the categorisation. He may have just felt it resonate with himself and failed to explore why.

Dijkstra immediately before using the term throws shade on serious thinkers engaging in a topic seriously. He personally seemed to want to dismiss the issue out of hand. As such I don't think there is any real value in his opinion on the matter. A recognition of how people did take it seriously and a considered rebuttal would be worthwhile. Declaring it uninteresting and failing to engage in the arguments is simply opting out of the debate.

[crewindream]

Jury is still out on this one.

This needs to be routine to be given asevidence…

…Unless you know exactly how the llm was trained and then how it was applied

[alchemist1e9]

Here is Yuji Tachikawa from Japan (Mathematical Physics, String Theory, QFT) on recent progress in his own work using Fable 5 :

"I've been trying out Claude Fable recently, and last night, on a whim, I showed it my research notes about a collaborative project that's seen no progress in the past six months or so and asked for its thoughts. To my surprise, it made a non-trivial observation and essentially solved it."

"I was also surprised that it was using sympy to automatically write code and verify his own predictions."

"Fable probably seems like it properly understands string theory and has intuition too—that's my impression"

[gus_massa]

With that definition, computers don't play chess, they just move the pieces using some weights and backtracking.

[red75prime]

Stochastic gradient descent can be likened to traveling down a billion-dimensional canyon. But inference? Hardly.

[dominotw]

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?"

[Lomlioto]

Compression is the trick. Its even philosophed about if compression = intelligence.

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.

It read enough text in itself to even know about the concept of reasoning and how you would do that.

Even if this is only stochastic, it shouldn't be so devalued as your comment comes across.

Who says that we are doing anything more magic?

[21asdffdsa12]

So, the best of compression is a procedural system, capable to generate from minimal input a whole world- basically just using abstract rules and metrics for reasonableness? So- AGI is in the principles behind universe generators like NoMansSky? Is there a ultimate game- that generates this from physics up?

[Lomlioto]

Yes + the capability to use this 'world' to simulate outcomes. Thats exactly what LeCun and others are trying to do with world models.

NoMansSky generator misses the complexity of encoding more than just geometry and basic quests but thats one reason why google and others show you machine learning based 'game engines' which allow you to enter these worlds. They are not doing this to replace real game engines, the do this for world research.

The ultimate game is us. Our physics constants :D

[warumdarum]

Compression, but also generating , using experience and previous abstractions and evaluating new state from entropy by comparing it to previous discoveries