Stellar Colosseum: A Many-Agent Harness for Long-Horizon Research in Mathematics and Theoretical Computer Science Paper • 2609.15983 • Published Sep 15 • 1