An agent built a proof checker, then broke its soundness 5 ways and fixed them

Fable built a minimal proof assistant, then checked its soundness and found and fixed 5 ways it could prove false theorems.

How it works

The agent builds a minimal proof assistant
Checks its soundness
Finds and fixes 5 ways it could prove false theorems

Why it’s worth knowing

Attacking its own soundness is the only review a proof tool deserves.

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

WorkFind me 48 school-district customers and draft each pitch — one replied, booked and paid WorkOne man released a whole movie with about 40 tools he built with AI WorkWhatsApp agent recovered stalled course sales WorkA contractor talks measurements into his phone and QuickBooks sends the estimate in 45 seconds

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.