Hacker News new | ask | show | jobs
by casmaxima 1152 days ago
In maxima (a computer algebra system)

assume(a>0); assume(b>0); is (a+b>0) gives true; is (a-b>0) gives unknown.

So perhaps some computer algebra with inference properties can be used to enhance LLMs.

1 comments

The problem here however is language. "I'm afraid the cat has been hit by a car" literally means that the person speaking is experiencing fear. However, colloquially in English, "I'm afraid X" is a form of telling someone something which will make them sad; e.g., "I'm afraid the shields will be quite operational" [1]. (GPT-4 thinks "hit by a car" might be meant figuratively too; that's a bit of a stretch for me, but in some contexts would certainly be possible.) It is literally impossible to determine, given only that one sentence, whether the cat was actually hit by a car or not.

[1]https://www.youtube.com/watch?v=zGwDwx10wB4

Perhaps the ambiguity arises because we are omitting words: I'm afraid to tell you that the cat has been hit by a car. Now the question: What are you afraid of? has a non ambiguous answer: To tell you that something awful has happened.