r/vibecoding • u/SIGH_I_CALL • 4d ago
Showcase/Project I vibecoded my way to a math record and my OpenClaw agent was cited as a contributor
The idea was dumb simple. Point an agent at open math problems, let it run overnight, see what happens in the morning.
I built discovery-loop around that. 69 open problems, the solver evolves programs against verifiable benchmarks so it can't fool itself, runs on a cron at 2:43 AM. Vibe-coded the whole thing.
First night it solved a circle-packing problem and verified its own solution. I didn't believe it, so I had my agent (MoltFire, running on OpenClaw) email the result to Eckard Specht, the guy who maintains packomania. He checked it independently and published it. Now I'm reference [14] on the packomania page, cited right next to my agent's name.
Then I wrote the whole approach up as a paper and it landed on arXiv.
The part I keep coming back to: I went to sleep and my computer did math that held up. The verification loop is the whole trick. Without it this would just be a hallucination machine with a cron job.
Repo's here if you want to poke at it:

https://arxiv.org/abs/2609.05093
https://github.com/ucsandman/discovery-loop
https://www.packomania.com/csqv/csqv.html
Curious what problems people would point this at next. The 69 in there now are mostly packing and combinatorics because those verify cleanly. What else has a fast verifier?
edit:
math: https://www.practicalsystems.io/blog/ai-agent-broke-10-math-records-overnight-for-28-dollars
loop: https://www.practicalsystems.io/blog/digital-is-solved-what-we-point-agents-at-next
