2 ms·
I don't think it would. Else we'd be able to ask 1==1? but not 1==2? .
by chrisjj 3y ago
I 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.