Even basic counting is hard. It can give you great answers *about* arithmetic/math, but ask it to write a sentence exactly 5 words in length, and it ( ChatGPT) will miss many times. Not surprising as precise logic assertions model a