Explore open math problems with a multi-agent system
A paper on autonomous mathematical discovery in an open-world multi-agent environment.
Done with Manus
What they did
The authors built the Station, an open-world environment where AI agents from different model families share one research goal. There is no central coordinator and no scripted pipeline. Agents pick their own research directions, run experiments, collaborate, and add to a shared literature. They were tested on 12 AlphaEvolve-catalogue construction problems plus two case studies.
How it went
Results were novel relative to prior literature on five problems. These were a finite-field Kakeya family, 604-point kissing configurations in dimension 11, records for discretized Kakeya needle and sign uncertainty, and a better Erdős minimum-overlap bound. Agents also found Book Ramsey families and wrote explanatory theorems.
Worth knowing
The authors released the source code, raw agent dialogues, proofs and verification code, so you can inspect how each result emerged.
Try it yourself with Manus
Research the open math problem [name or description of problem] and survey what is currently known, including recent partial results. Then propose three promising approaches, try a small computational experiment for at least one of them, and report what you found. Finish with a summary that separates verified results from guesses, with links to your sources.
Source
Read the original