The conclusion in Apple's paper rings true – LLMs don't reason, they only match very adeptly the knowledge of their training data. The less commonly a given wrinkle in a prompt appears in their training, the less likely they can accurately handle it.
Will it ever be possible for an LLM to solve a truly novel problem, that doesn't appear in their training data, using deductive reasoning? It doesn't seem like it.