Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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


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.


What do "most" people thinking about LLMs, then?

The "hair-splitting" underlies the whole GenAI debate.


We have widely used benchmarks for reasoning. And no no it does not, you need get off HN.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: