All ideasMore in Hobbies
Hobbies

The AI solved a famous puzzle circuit by switching from fuzzing to a solver, in 3 hours

The AI tried to fuzz a Jane Street ASIC puzzle circuit, switched to a Z3 and SMT route and solved it in about 3 hours; writeup published.

How it works

  1. The AI tries fuzzing the puzzle circuit
  2. Switches to a solver-based route
  3. Solves it in about 3 hours
  4. The writeup is published

Why it’s worth knowing

Changing approach mid-task is the human move; it made it.

Where it’s from

Summarized from a public post on news.ycombinator.com. See the original ↗

Upgraded prompt

A ready-to-use prompt for this idea, built from research on what makes AI agents do the job right: who the AI should be, the exact steps, and a check to make sure it was done the way you wanted.

1Who the AI should be
2The prompt, with the steps
3The check when it’s done
Upgraded prompts are coming soon.

Try next

HobbiesThe AI searched five years of email and listed my forgotten accountsHobbiesI cut my bots' wakeups from about 300 a week to about 140HobbiesMy agent is counting all 77,000 stories in my Instagram story archiveHobbiesThe AI built its own mail app in 23 minutes

Every idea is a real post from someone who tried it, summarized in our words, with a link to the original. App names are swapped for plain words.