Earlier quoted context omitted.
It is not semantics. For decades, logic and CS researchers have known what reasoning is. LLM folks suddenly can’t claim an approximation of that is what constitutes full scale reasoning just because they can achieve only an approximation. Imagine a calculator program that computes billions of two number multiplications accurately by looking up prior examples but fails on simple multiplications often as it doesn’t hav…
> Imagine a calculator program that computes billions of two number multiplications accurately by looking up prior examples This is a poor analogy because: * Multiplying numbers has a single objective answer. Whether a code is good (sometimes even just whether it's correct) can be quite subjective. * LLMs certainly do some level of composition between the data sources they were trained on i.e. they are more than just…
I didn’t say LLMs are capable of zero reasoning. An approximation is just an approximation no matter how good.
Will you bet your wealth or critical safety systems on:
1. Accuracy of standard computer arithmetic: Yes
2. Accuracy of Lean or automated theorem provers: Yes (you already do)
3. Accuracy of LLM reasoning: No
https://en.wikipedia.org/wiki/Handbook_of_Automated_Reasonin...