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

用20个Codex账号并行解决20个Erdős问题

HN Points: 117 / 51 comments | Author: colin7snyder | HN Discussion: item?id=48914646 | Source: www.starfleetmath.com

Original Article

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.

⋯ 继续阅读请登录会员 ⋯