3 ms·
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 thei
by bubblyworld 1y ago
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 1y agoI 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 1y agoI 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.
- measurablefunc 1y agoIf 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 1y agoLol, okay. Serves me right for feeding the trolls.
- wolvesechoes 1y ago> I have presented mine - your linked logical analyses just aren't relevant to modern systems Assertion is not an argument
- bubblyworld 1y agoThat 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.
- wavemode 1y agoIf my cat has access to my computer keyboard, that doesn't make it a software engineer.
- bubblyworld 1y agoLLMs 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?