3 ms·
Could a constraint solver just rip through this problem?
by selfie 2y ago
Could a constraint solver just rip through this problem?
- polivier 2y agoThe 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.
- gota 2y agodeosjr just posted a proposed Prolog solution in ~50 LOC https://news.ycombinator.com/item?id=40014035 https://news.ycombinator.com/item?id=40014035
- CamperBob2 2y agoIt was interesting to see GPT4 fail at it: https://chat.openai.com/share/02c12bbe-43cd-40da-b5df-33681db370d7 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.
- lupire 2y agoChatGPT can't write programs or do logic to solve problems whole solutions aren't already in its input.
- CamperBob2 2y agoIt 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.
- smtross 2y agoI encoded it in SMT (source code https://github.com/rdaly525/hnpuzzle https://github.com/rdaly525/hnpuzzle). Fun little challenge! Turns out there are 6 unique solutions for [7,5,3] in 6 steps