News for hackers. Stuff that matters.

A comment on Show HN: Logiquiz – Daily Self-Referential Puzzles.

Re:Show HN: Logiquiz – Daily Self-Referential Puzzles by Recursing on Friday April 25, 2025 @11:26AM (#43794591)
Both Gemini and Claude can effortlessly write a python program to solve the first problem, using z3

https://claude.ai/share/86224755-5245-4635-ba6d-66fad5573118

https://g.co/gemini/share/d94e7e3d675e

Not really surprising, but was still nice to see

[ Parent | on HN ]
Re:Show HN: Logiquiz – Daily Self-Referential Puzzles by slig on Friday April 25, 2025 @11:57AM (#43795029)
That's interesting. Will try later to see if the reasoning models can solve the harder puzzles without z3.
[ Parent | on HN ]