[0] https://www.reddit.com/r/LocalLLaMA/comments/1bgh9h4/the_tru...
Doesn't "reasoning" rise from the knowledge? How much of a brain can you cut away before you affect the reasoning? When do you know what you've cut away, and what aspects did you miss / forget about?
We can probably train / fine-tune, w/ synthetic data, and we'll get reasonably close, but the "reasoning" will always hit rough patches, bc our training didn't include that kind of reasoning... and if we had to give it examples of every single kind of reasoning, then it can't move past all the already-established kinds of reasoning, so it's still pattern matching
But. There's indeed some challenging aspect in making these model plan for solving unexpected, novel problems not in the training set. Possibly a model that produces axioms and relations and a constrain solver that evaluates if the solution is coherent, non conflicting and complete.