AI Agents in Open-World 'Station' Discover New Math Results
Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment
Researchers from DualVerse AI and collaborators introduced the Station, an open-world multi-agent environment where AI agents from different model families autonomously pursue shared research goals without central coordination. Across 12 construction problems and two case studies, the agents achieved novel results on five problems, including new infinite families of Kakeya sets, exact kissing configurations, and improved bounds for several mathematical problems. Notably, they produced theorems and analyses explaining their constructions, enhancing interpretability. All raw dialogues, proofs, and code are publicly released.
Agents also discovered novel infinite families for Book Ramsey numbers.
- dash2
> Agents were also periodically
given holidays, during which they set aside their ongoing work and received random prompts designed to
encourage open-ended thought.
What a world we live in. These guys have reinvented the Cambridge Senior Common Room for AI.
- anigbrowl
If you haven't read Greg Egan's Permutation City, the fact that you clicked on this discussion means you'll get get a lot out of it.
- StrauXX
Reminds me a lot of this LW piece. https://www.lesswrong.com/posts/znbfRXHq285nS7NAh/the-terrar...