> Reasoning includes things like proper use of logic. LLMs have been repeatedly shown to fail horribly at this.

That models cannot do ALL logic problems does not mean that they cannot properly use logic...they can write Lean-verified theorems. How is that not logic?

> They consistently fail at drawing basic logical conclusions because they cannot build a sufficiently abstract model of certain problems that allows them to grasp their true nature.

What does their "grasp[ing] their true nature" have anything to do with what they can do?

> In other words, the whole class of questions of the kind of "how many r's in strawberry" or "do I take the car to the car wash?" would be answered correctly and reliably.

Again, just because you have interesting failure modes or brittleness does not mean they do not reason.