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
That's interesting. Will try later to see if the reasoning models can solve the harder puzzles without z3.