Researcher solves 20 Erdős problems using parallel Codex accounts

A project utilized 20 parallel OpenAI Codex accounts to solve 20 distinct mathematical problems from the Erdős conjecture list. The methodology involved automated prompt engineering to iterate through potential proofs across the distributed model instances.
1 source
Daily brief
Get tomorrow's AI brief in your inbox
More stories today
- WorkOS argues REST and MCP are complementary, not competing, for agents
- claude-ops turns Claude Code into a business OS with 57 skills, 21 agents
- Tool converts vague feature ideas into specs for Claude Code or Codex
- GitHub Models is now retired
- AI in academic journals: debate overfocuses on today's capabilities