A new arXiv paper introduces a multi-agent AI system capable of autonomous mathematical discovery within an open-world environment. By collaborating without human intervention, these agents can independently explore complex concepts and generate novel proofs, highlighting the growing potential of multi-agent architectures to accelerate automated scientific research.