3 ms·

Formal reasoning is defined, informal reasoning very much isn't.

• random9749832 11mo ago
  At the end of the day most people would agree that if something is able to solve a problem without a lookup table / memorisation that it used reasoning to reach the answer. You are really just splitting hairs here.
  • gowld 11mo ago
    What do "most" people thinking about LLMs, then? The "hair-splitting" underlies the whole GenAI debate.
    • random9749832 10mo ago
      We have widely used benchmarks for reasoning. And no no it does not, you need get off HN.