Hacker News Reader

Ah but is the model's belief of the statements 1. complete, 2. consistent, 3. decidable?

I think this is a category error. Those are properties of systems of logical axioms.

But LLMs are not logical; they are statistical. It can only 'believe' a statement is true in the Bayesian sense, where the statement agrees with the priors.

Reply on news.ycombinator.com