06:03
2026-07-15
sourcefeed.dev
artificial-intelligence
Parallel agents crack Erdős problems by isolation
Twenty independent Codex agents, each running on dedicated 60-vCPU servers with Lean 4 and formal verification tools, have proposed 27 solutions to Erdős problems using an isolation-based multi-agent …