Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel

Re:Solving 20 Erdős Problems with 20 Codex Accounts Running ... by colin7snyder on Wednesday July 15, 2026 @06:08AM (#48918554)

Thank you for the questions echelon.

1) As far as the AI models go, we used GPT 5.6 Sol, Fable 5, and Gemini-2-embeddings across the system

2) Yes, the agents are given bash tools that allows them to interact with the preinstalled mathematics packages/dependencies that are on the VMs

3) This was a setup as a relatively quick project without much thought for future contributions, I will spend some time thinking about how i could make it more open.

[ Parent | on HN ]

Re:Solving 20 Erdős Problems with 20 Codex Accounts Running ... by echelon on Wednesday July 15, 2026 @10:17AM (#48921202)

This is so great!

I hate to bother with more questions, but I'm just so curious about this.

If you could roughly sketch out your agentic harness loop in a sentence or two, what does it look like? Which model(s) do the driving? How is progress measured?

What's your daily/monthly budget for this look like, if you don't mind my asking?

[ Parent | on HN ]