I have used Codex (Sol 5.6 or whatever) to solve this problem. It turns the problem into Z3, then iteratively work through the problems until it figured out the solution.

Personally, I did not learn that much from that experience. So I am glad that there's other people working on it as well. I am mostly interested in the techniques used to solve this.

> Personally, I did not learn that much from that experience.

What did you expect?

The fact that agents can solve these is telling and the Infosec Capture The Flag community is trying to figure out how to approach.

I recently solved a (in)famously hard challenge (disobey conference hacker ticket) more or less by accident. I say by accident because I have always ignored this challenges as they generally require a lot of patience and motivation to solve. Some years they haven't been solved at all. This year I had a GPT sub with some unused quota so I thought let's see how far it gets.

And it crunched through the whole thing in an evening and morning (occasional poking from me to keep going and steer it right).

Like anon, I learned nothing except that the agents have become really good at solving puzzles. Last time I had thrown a puzzle on them was Advent of code, with GPT3 I think and it struggled so much I gave up my experiment on day 7 or something.

>I have used Codex (Sol 5.6 or whatever) to solve this problem.

>Personally, I did not learn that much from that experience

Fire is hot, water is wet, etc