Story
Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
1 report
1 website
1 discussion
Latest report
Overview
Star Fleet is an AI system designed to solve complex open mathematics problems using Lean 4. It operates as a Mac desktop app, utilizing up to 20 custom agentic harnesses called "starships," each running a GPT-5.6 instance on a dedicated 60-vCPU server.
Summary from starfleetmath.com.
Reports
One report so far. Additional coverage will appear here when it is linked to this story.
Community reactions
Each reaction summarizes sampled comments from the linked discussion.
Hacker News · starfleetmath.com
Hacker News discussion ↗
Historical count: 5 · 5 saved in sample · Historical sample
Analysis ready
Read this discussion’s reaction
Based on 5 sampled comments from this thread. Analyzed 2026-07-15.
- Praise: The sheer computational power harnessed for solving these problems is a game changer, with thousands of vCPUs leading to unprecedented exploration in mathematics.
- Praise: The ability to build advanced AI systems for tackling novel math is thrilling, and it's inspiring to see others making real progress alongside.
- Praise: Fable's referee system for Lean 4 proofs is fascinating, even if the writeups still need to improve in readability.
- Concern: The proof summaries from Fable are struggling with human readability, making it tough for non-experts to engage with the results.
- Concern: Some commenters are skeptical about the funding and sustainability of such a massive computational project.