arXiv cs.AI / cs.LG / cs.CL·12d agoStellar Colosseum: A Many-Agent Harness for Long-Horizon Research in Mathematics and Theoretical Computer Science#agents#competitive-programming#geminiAI research