That bot of yours is second chat bot that claimed it can program or can help with programming. And that bot of yours is second one that utterly failed to provid

That bot of yours is second chat bot that claimed it can program or can help with programming. And that bot of yours is second one that utterly failed to provide me with an implementation of blocked clause decomposition in Haskell. I needed something, even the most slow version would do. Yours' bot also tried to bullshit me about validity of its answer, just like the other one. The difference? Your bot mentioned a paper on arxiv about the problem. But the paper (and I read it long time ago, of course) does not provide even pseudocode implementations of most of the algoithms mentioned there. Color me not impressed. As usual, bots like yours are not for when you need something new. If I have an idea, I cannot use any AI, including yours, for prototyping work. It is expected as neural networks are interpolators, not extrapolators and for them to "extrapolate" one need to train them over the "extrapolation" area quite well.