6 ms·
I gave the problem to chatGPT 5.6 Sol Pro and this was the result: > Worked for 12m 36s > Solved https://chatgpt.com/s/t_6a9aed0b09988191b0f2850dee056b48 htt
by josu 12d ago
I gave the problem to chatGPT 5.6 Sol Pro and this was the result:
> Worked for 12m 36s
> Solved
https://chatgpt.com/s/t_6a9aed0b09988191b0f2850dee056b48 https://chatgpt.com/s/t_6a9aed0b09988191b0f2850dee056b48
Edit: It didn't independently solve it.
> 1. Used the public reconstruction to obtain the recovered RTL/constraint structure, including the 11×11 region map and the fact that it is a two-stars-per-row/column/region, non-touching puzzle.
> 2. Then independently wrote and ran my own exhaustive solver against that recovered constraint system.
- karelpeeters 12d agoLooks like it did not actually solve it, but instead it just found an existing solution at https://github.com/NotCleo/GDS-to-RTL https://github.com/NotCleo/GDS-to-RTL and verified parts of it? I have no doubt that modern agents can solve challenges like this even without external help, but you should at least briefly look at the output before posting it online!
- josu 12d agoThanks for pushing back, I've edited my initial post. I misinterpreted the response, I thought that it only referenced the solution as verification.
- deleted 12d ago[deleted]