Not only that, but it also relies on assumption that everything that LLM does cannot be factored into small reasoning core (something like Lean or Prolog, but in more modal/fuzzy logic) plus knowledge base (like Wikipedia).
It then raises a question, which of these two is really the precious thing. (Although there could be a 3rd thing, a memoization of some shortcuts, like tautologies in logic.)
Comments
Not only that, but it also relies on assumption that everything that LLM does cannot be factored into small reasoning core (something like Lean or Prolog, but in more modal/fuzzy logic) plus knowledge base (like Wikipedia).
It then raises a question, which of these two is really the precious thing. (Although there could be a 3rd thing, a memoization of some shortcuts, like tautologies in logic.)