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 solves open mathematics problems using Lean 4, and used it to solve Erdős Problem #123, a $250 number theory problem about sums of distinct coprime int…