The wall confronting large language models

Re:The wall confronting large language models by bubblyworld on Thursday September 04, 2025 @01:53AM (#45123989)

If you want to understand SOTA systems then I don't think you should study their formal properties in isolation, i.e. it's not useful to separate them from their environment. Every LLM-based tool has access to code interpreters these days which makes this kind of a moot point.

[ Parent | on HN ]

Re:The wall confronting large language models by measurablefunc on Thursday September 04, 2025 @01:58AM (#45124020)

I prefer logic to hype. If you have a reason to think the hype nullifies basic logical analysis then you're welcome to your opinion but I'm going to stick w/ logic b/c so far no one has presented an actual counter-argument w/ enough rigor to justify their stance.

[ Parent | on HN ]

Re:The wall confronting large language models by bubblyworld on Thursday September 04, 2025 @02:08AM (#45124089)

I think you are applying logic and demand for rigour selectively, to be honest. Not all arguments require formalisation. I have presented mine - your linked logical analyses just aren't relevant to modern systems. I said nothing about the logical steps being wrong, necessarily.

[ Parent | on HN ]

Re:The wall confronting large language models by wolvesechoes on Thursday September 04, 2025 @03:42AM (#45124662)

> I have presented mine - your linked logical analyses just aren't relevant to modern systems

Assertion is not an argument

[ Parent | on HN ]

Re:The wall confronting large language models by bubblyworld on Thursday September 04, 2025 @04:17AM (#45124918)

That assertion is not what I was referring to. Anyway, I'm not really interested in nitpicking this stuff. Engage with my initial comment if you actually care to discuss it.

[ Parent | on HN ]

Re:The wall confronting large language models by measurablefunc on Thursday September 04, 2025 @02:44AM (#45124296)

If there are no logical errors then you're just waving your hands which, again, you're welcome to do but it doesn't address any of the points I've made in this thread.

[ Parent | on HN ]

Re:The wall confronting large language models by bubblyworld on Thursday September 04, 2025 @02:58AM (#45124369)

Lol, okay. Serves me right for feeding the trolls.

[ Parent | on HN ]

Re:The wall confronting large language models by wavemode on Thursday September 04, 2025 @11:26AM (#45128356)

If my cat has access to my computer keyboard, that doesn't make it a software engineer.

[ Parent | on HN ]

Re:The wall confronting large language models by bubblyworld on Friday September 05, 2025 @04:30AM (#45136293)

LLMs can clearly make use of tools, unlike your cat. The claim was that they cannot do backtracking natively, which may or may not be true but it's irrelevant because they can do it through code.

Who said anything about software engineers?

[ Parent | on HN ]