Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment
Summary
The paper studies autonomous mathematical discovery in an open-world, multi-agent environment called the Station, where AI agents from different families pursue a shared research goal without central coordination. It reports novel mathematical results across multiple problems and provides raw agent dialogues, proofs, and verification code to support reproducibility.