A new Mac application leverages 20 parallel OpenAI Codex accounts to tackle notoriously difficult open mathematics questions known as Erdős problems. The software controls up to 20 starship agentic harnesses powered by the GPT-5.6 Sol max model. By running these agents in parallel, the app aims to significantly accelerate the discovery of solutions to these complex proofs.