LLMs perform well on “human knowledge” like you are describing. They don’t lack knowledge of simple relational facts like these. Nonetheless it would be inter

LLMs perform well on “human knowledge” like you are describing. They don’t lack knowledge of simple relational facts like these. Nonetheless it would be interesting to see the problem reformulated in purely mathematical terms, I suspect models would perform better. That is the point though - models are showing an inability to generalize their capabilities from one domain (maths / abstract logic) into other domains (conversational reasoning).