Hacker News Reader

I encoded it in SMT (source code https://github.com/rdaly525/hnpuzzle). Fun little challenge!

Turns out there are 6 unique solutions for [7,5,3] in 6 steps

It was interesting to see GPT4 fail at it: https://chat.openai.com/share/02c12bbe-43cd-40da-b5df-33681d...

Not a bad benchmark problem. It didn't get very far, but maybe the next release will.

ChatGPT can't write programs or do logic to solve problems whole solutions aren't already in its input.

It applied logical reasoning, just not quite enough of it. When it gets 10x better, which it will, it will be smarter than either of us.

For those who don't find that prospect fascinating, other sites beckon.

deosjr just posted a proposed Prolog solution in ~50 LOC

https://news.ycombinator.com/item?id=40014035

The number of variables is not constant in each step so modeling this would be trickier than usual. I feel like there is probably an more efficient DP approach for this though.