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.

▲

measurablefunc 6 days ago | parent | next [-]

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.

▲

bubblyworld 6 days ago | parent [-]

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.

▲

wolvesechoes 6 days ago | parent | next [-]

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

Assertion is not an argument

	▲	bubblyworld 6 days ago \| parent [-]
		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.

▲

measurablefunc 6 days ago | parent | prev [-]

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.

	▲	bubblyworld 6 days ago \| parent [-]
		Lol, okay. Serves me right for feeding the trolls.

▲

wavemode 5 days ago | parent | prev [-]

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

	▲	bubblyworld 5 days ago \| parent [-]
		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?