A arxiv.org Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment 122 points stephenchung 2 months ago 40 comments