Codex accounts solve 20 Erdős problems in parallel

A project deployed 20 OpenAI Codex accounts in parallel to solve 20 Erdős problems from the Erdős Problems Collection. The system used automated reasoning and code generation to achieve solutions. Details on methodology and results are available on the project page.