Researchers describe the Station, an autonomous multi-agent mathematical discovery system where AI agents from different model families collaboratively pursue research goals without central coordination. Operating across 12 construction problems, the system generated novel results including a new infinite family of finite-field Kakeya sets and improved bounds on several open mathematical problems. The agents produced both numerical constructions and formal theorems explaining their discoveries, with all dialogues and verification code released for transparency.
