Comment on Car Wash Test on 53 leading AI models: "I want to wash my car. The car wash is 50 meters away. Should I walk or drive?"

<- View Parent
SuspciousCarrot78@lemmy.world ⁨1⁩ ⁨day⁩ ago

Ok, I’ll take that in good faith and respond in kind.

“It needed the rules, therefore it’s not reasoning” is your weakest point, and it’s load-bearing for your whole argument.

Every reasoning system needs premises - you, me, an 8yr old. You cannot deduce conclusions from nothing. Demanding that a reasoner perform without premises isn’t a test of reasoning, it’s a demand for magic. Premise-dependence isn’t a bug, it’s the definition.

Look at what the rules actually were: pastes.io/rules-a-ph

No numbers, containers, or scenarios. Just abstract invariants about bounded systems — the kind of thing you’d write in formal logic. Most aren’t even physics facts, they’re logical constraints: stated quantity vs physically present quantity, overflow vs contained volume. Premises in the strict logical sense.

When the LLM correctly handles novel chained problems, including the 4oz cup already holding 3oz, tracking state across two operations, that’s deriving conclusions from general premises applied to novel instances. That’s what deductive reasoning is, per the definition I cited.

“Without the rules it fails” - without context, humans make the same errors. Default assumptions under uncertainty aren’t a failure of reasoning, they’re a feature of any mind with incomplete information.

“It’ll fail sometimes across 100 runs” - so do humans under load. Probabilistic performance doesn’t disqualify a process from being reasoning. It just makes it imperfect reasoning, which is the only kind that exists.

The Wizard of Oz analogy is vivid but does no logical work. “Complicated math and clever programming” describes implementation, not function. Your neurons are electrochemical signals on evolved heuristics. If that rules out reasoning, it rules out all reasoning everywhere. If it doesn’t rule out yours, you need a principled account of why it rules out the LLM’s.

source
Sort:hotnewtop