00:15
2026-07-15
starfleetmath.com
artificial-intelligence
Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
Colin Snyder built Star Fleet, an AI system that uses 20 parallel GPT-5.6 instances to solve open mathematics problems in Lean 4. The system solved Erdős Problem #123, proving that for any pairwise-co…