Hacker News·4 min read·hard
Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
C
colin7snyder
✦AI Summary
A developer has created an AI system called Star Fleet that utilizes parallel GPT-5.6 instances to solve complex open mathematics problems. The project successfully tackled Erdős Problem #123 using the Lean 4 formal proof language.
Built by Colin Snyder · colin@colinsnyder.com
technologyscience
✦
Get the full story
Sign up for Headlinne to unlock AI insights, political bias analysis, and your personalized news feed.
Create free accountAlready have an account? Sign in