> By definition, a model can't "know" things that are not somewhere in its training set, unless it can use a tool to query external knowledge.
Well, it could also make inferences. Like, it could find a new mathematical proof, even if that's never in the training set.