2 ms·
> the outcome shouldn't be affected by the truth/falsehood of the statement in question Epistemology would beg to differ. See, for example, "Is Justified True
by cratermoon 3y ago
> the outcome shouldn't be affected by the truth/falsehood of the statement in question
Epistemology would beg to differ. See, for example, "Is Justified True Belief Knowledge?" https://academic.oup.com/analysis/article-lookup/doi/10.1093/analys/23.6.121 https://academic.oup.com/analysis/article-lookup/doi/10.1093...
- chrisjj 3y agoI don't think it would. Else we'd be able to ask 1==1? but not 1==2? .
- cratermoon 3y agoLLMs are notoriously failures at math and symbolic manipulation in general. The model only statistically predicts the token 1==1 is true more often in its corpus and thus has more weight than 1==2. We can say mathematics makes 1==1 true, but LLMs don't know the logic: all they have are signs (tokens) saying 1==1 is true, which happens to be correct, but the existence of the sign (tokens) itself is not proof.