Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
Why CEREBRO kept it
Parallel Codex problem-solving, agentic parallelization pattern
The text below is an automated extraction of the article at https://www.starfleetmath.com/, stored verbatim in the public cerebro-vault repository. Copyright remains with the original publisher (starfleetmath.com).
Star Fleet Math Built by Colin Snyder · colin@colinsnyder.com Advised by Mike Kim · proposed solutions ↓ Inspired by Ignis · previously built by Myself, Dhruv Agarwal, & Nitin Kesarwani at the New Turing Institute Star Fleet is an AI system that solves the world's hardest open mathematics problems using Lean 4. It's a Mac desktop app that controls up to 20 custom agentic harnesses called “starships” in parallel, each running its own GPT-5.6 instance on a dedicated 60-vCPU server and working on a separate math problem. Everything is built from scratch in TypeScript & Bun. Each starship has acce
Community take
Proprietary infrastructure and closed methodology make this unreproducible; the harness and search approach matter far more than the specific Erdős proofs.
Backlinks
Appeared in 1 briefing
Related
Shares tags: ai/agents · ai/llm-mechanics
Also from starfleetmath.com
Only signal from starfleetmath.com so far.