3 ms·
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-66fad557311
by Recursing 1y ago
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://claude.ai/share/86224755-5245-4635-ba6d-66fad5573118
https://g.co/gemini/share/d94e7e3d675e https://g.co/gemini/share/d94e7e3d675e
Not really surprising, but was still nice to see
- slig 1y agoThat's interesting. Will try later to see if the reasoning models can solve the harder puzzles without z3.